| .. |
|
composable-and-compilable-macros-you-want-it-when.pdf
|
add paper for sam tbon-hochstadt nyc pres.
|
2015-01-25 11:32:28 -05:00 |
|
fundamental-concepts-in-programming-languages.pdf
|
add something new and some folder cleanup
|
2013-07-23 02:39:40 -04:00 |
|
on-understanding-types-data-abstraction-polymorphism.pdf
|
add something new and some folder cleanup
|
2013-07-23 02:39:40 -04:00 |
|
predicate-dispatching.pdf
|
add something new and some folder cleanup
|
2013-07-23 02:39:40 -04:00 |
|
principal-type-schemes-for-functional-programs.pdf
|
add principle type-schemes by damas-milner
|
2015-06-25 08:57:45 -07:00 |
|
programming-languages-application-and-interpretation.pdf
|
add something new and some folder cleanup
|
2013-07-23 02:39:40 -04:00 |
|
programming-with-algebraic-effects-and-handlers.pdf
|
update, eff paper
|
2014-02-07 15:30:45 -05:00 |
|
propositions-as-types.pdf
|
add prop as logic wadler paper, also for nyc pwl aug/2015
|
2015-08-03 11:24:47 -04:00 |
|
README.md
|
add prop as logic wadler paper, also for nyc pwl aug/2015
|
2015-08-03 11:24:47 -04:00 |
|
the-derivative-of-a-regular-type-one-hole-contexts.pdf
|
new-paper-for-erik-hinton-pres-and-link-add-remove
|
2014-05-13 04:35:26 -04:00 |
|
theory-in-programming-practice.pdf
|
add something new and some folder cleanup
|
2013-07-23 02:39:40 -04:00 |
