Archives/papers-we-love_papers-we-love

mirror of https://github.com/papers-we-love/papers-we-love.git synced 2026-03-02 03:40:31 +00:00

Files

History

Zeeshan Lakhani 72d755063c add paper for sam tbon-hochstadt nyc pres.

2015-01-25 11:32:28 -05: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

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

Soft typing by Robert Cartwright and Mike Fagan

2014-11-24 23:26:01 +01: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