mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-10-27 20:34:20 +00:00
| .. | ||
| composable-and-compilable-macros-you-want-it-when.pdf | ||
| fundamental-concepts-in-programming-languages.pdf | ||
| on-understanding-types-data-abstraction-polymorphism.pdf | ||
| predicate-dispatching.pdf | ||
| principal-type-schemes-for-functional-programs.pdf | ||
| programming-languages-application-and-interpretation.pdf | ||
| programming-with-algebraic-effects-and-handlers.pdf | ||
| propositions-as-types.pdf | ||
| README.md | ||
| the-derivative-of-a-regular-type-one-hole-contexts.pdf | ||
| theory-in-programming-practice.pdf | ||
