| .. |
|
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 |
