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
|
9 years ago | |
---|---|---|
.. | ||
README.md | 9 years ago | |
composable-and-compilable-macros-you-want-it-when.pdf | 10 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 | 11 years ago | |
propositions-as-types.pdf | 9 years ago | |
the-derivative-of-a-regular-type-one-hole-contexts.pdf | 11 years ago | |
theory-in-programming-practice.pdf | 11 years ago |