papers-we-love_papers-we-love/languages-theory
2023-02-06 19:46:27 -05:00
..
composable-and-compilable-macros-you-want-it-when.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
fundamental-concepts-in-programming-languages.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
on-understanding-types-data-abstraction-polymorphism.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
predicate-dispatching.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
principal-type-schemes-for-functional-programs.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
programming-languages-application-and-interpretation.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
propositions-as-types.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
README.md Fix some broken links. (#718) 2023-02-06 19:46:27 -05:00
the-derivative-of-a-regular-type-one-hole-contexts.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00
theory-in-programming-practice.pdf Rename "paradigm" and "plt" folders for findability (#561) 2019-09-04 06:38:53 -04:00