Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
| .. | |||
| Failed to load latest commit information. | |||
|
README.md |
|
|
|
|
composable-and-compilable-macros-you-want-it-when.pdf |
|
|
|
|
fundamental-concepts-in-programming-languages.pdf |
|
|
|
|
on-understanding-types-data-abstraction-polymorphism.pdf |
|
|
|
|
predicate-dispatching.pdf |
|
|
|
|
principal-type-schemes-for-functional-programs.pdf |
|
|
|
|
programming-languages-application-and-interpretation.pdf |
|
|
|
|
programming-with-algebraic-effects-and-handlers.pdf |
|
|
|
|
propositions-as-types.pdf |
|
|
|
|
the-derivative-of-a-regular-type-one-hole-contexts.pdf |
|
|
|
|
theory-in-programming-practice.pdf |
|
|