mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00

History

Zeeshan Lakhani b937dbd0bd new-paper-for-erik-hinton-pres-and-link-add-remove		2014-05-13 04:35:26 -04: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
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
README.md	updates based on applicative programming and what will be mays paper	2014-04-04 11:06:02 -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

Programming Language Theory