You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Pascal Schmid
214d8de5d6
|
8 years ago | |
|---|---|---|
| .. | ||
| README.md | 8 years ago | |
| composable-and-compilable-macros-you-want-it-when.pdf | 9 years ago | |
| fundamental-concepts-in-programming-languages.pdf | 11 years ago | |
| on-understanding-types-data-abstraction-polymorphism.pdf | 11 years ago | |
| predicate-dispatching.pdf | 11 years ago | |
| principal-type-schemes-for-functional-programs.pdf | 9 years ago | |
| programming-languages-application-and-interpretation.pdf | 11 years ago | |
| programming-with-algebraic-effects-and-handlers.pdf | 10 years ago | |
| propositions-as-types.pdf | 9 years ago | |
| the-derivative-of-a-regular-type-one-hole-contexts.pdf | 10 years ago | |
| theory-in-programming-practice.pdf | 11 years ago | |