Name	Name	Last commit message	Last commit date
parent directory ..
README.md	README.md
composable-and-compilable-macros-you-want-it-when.pdf	composable-and-compilable-macros-you-want-it-when.pdf
fundamental-concepts-in-programming-languages.pdf	fundamental-concepts-in-programming-languages.pdf
on-understanding-types-data-abstraction-polymorphism.pdf	on-understanding-types-data-abstraction-polymorphism.pdf
predicate-dispatching.pdf	predicate-dispatching.pdf
principal-type-schemes-for-functional-programs.pdf	principal-type-schemes-for-functional-programs.pdf
programming-languages-application-and-interpretation.pdf	programming-languages-application-and-interpretation.pdf
programming-with-algebraic-effects-and-handlers.pdf	programming-with-algebraic-effects-and-handlers.pdf
propositions-as-types.pdf	propositions-as-types.pdf
the-derivative-of-a-regular-type-one-hole-contexts.pdf	the-derivative-of-a-regular-type-one-hole-contexts.pdf
theory-in-programming-practice.pdf	theory-in-programming-practice.pdf

Name

Last commit message

Last commit date