Skip to content

Mark Cohen / thesis

Go to a project
Switch branch/tag
Find file History
Name Last Update
..
Infer Loading commit data...
.DS_Store Loading commit data...
A Simple Algorithm and Proof for Type Inference.pdf Loading commit data...
A System of Constructor Classes.pdf Loading commit data...
Associated Type Synonyms.pdf Loading commit data...
Basic Polymorphic Typechecking.pdf Loading commit data...
Bulk types with class.pdf Loading commit data...
HimML.pdf Loading commit data...
How to make ad-hoc polymorphism less ad hoc.pdf Loading commit data...
Metaprogramming with Traits.pdf Loading commit data...
Monadic Parser Combinators.pdf Loading commit data...
Principal type-schemes for functional programs.pdf Loading commit data...
Traits - A Mechanism for Fine-grained Reuse.pdf Loading commit data...
Traits - The Formal Model.pdf Loading commit data...
Type Inference and Unification.pdf Loading commit data...
Types and Programming Languages.pdf Loading commit data...