Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity
7befb4f964
papers-we-love_papers-we-love/plt
History
Zachary Jones d2acf0fc3b Update to all READMEs for hosted content 
reorganization of so-called historical papers
2015-10-07 15:12:22 -04:00
..
composable-and-compilable-macros-you-want-it-when.pdf add paper for sam tbon-hochstadt nyc pres. 2015-01-25 11:32:28 -05:00
fundamental-concepts-in-programming-languages.pdf add something new and some folder cleanup 2013-07-23 02:39:40 -04:00
on-understanding-types-data-abstraction-polymorphism.pdf add something new and some folder cleanup 2013-07-23 02:39:40 -04:00
predicate-dispatching.pdf add something new and some folder cleanup 2013-07-23 02:39:40 -04:00
principal-type-schemes-for-functional-programs.pdf add principle type-schemes by damas-milner 2015-06-25 08:57:45 -07:00
programming-languages-application-and-interpretation.pdf add something new and some folder cleanup 2013-07-23 02:39:40 -04:00
programming-with-algebraic-effects-and-handlers.pdf update, eff paper 2014-02-07 15:30:45 -05:00
propositions-as-types.pdf add prop as logic wadler paper, also for nyc pwl aug/2015 2015-08-03 11:24:47 -04:00
README.md Update to all READMEs for hosted content 2015-10-07 15:12:22 -04:00
the-derivative-of-a-regular-type-one-hole-contexts.pdf new-paper-for-erik-hinton-pres-and-link-add-remove 2014-05-13 04:35:26 -04:00
theory-in-programming-practice.pdf add something new and some folder cleanup 2013-07-23 02:39:40 -04:00

README.md

Programming Language Theory