Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2026-03-02 03:40:31 +00:00
Code Issues Projects Releases Wiki Activity
Files
17a8917ae83cd09c3e2f048ca01ea1011e997dff
papers-we-love_papers-we-love/languages-theory
History
Ben Aiad e3b443ba64 Fix no longer active link to John Backus’ Turning Award paper (#626)
2021-09-22 12:05:26 -04: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
programming-with-algebraic-effects-and-handlers.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 no longer active link to John Backus’ Turning Award paper (#626)
2021-09-22 12:05:26 -04: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

README.md

Programming Language Theory

Reference in New Issue View Git Blame Copy Permalink