Restructure references folder, add Cardelli, Wand papers

5c817697 · Mark Cohen · 1f2d2502 · 1f2d2502 · 5c817697 · 5c817697
Commit 5c817697 authored Jan 11, 2019 by Mark Cohen
Showing with 0 additions and 0 deletions
paper/references/implementing-and-understanding-type-classes.pdf
references/.DS_Store
paper/references/him-ml.pdf → references/Jean Goubault - HimML.pdf
references/Luca Cardelli - Basic Polymorphic Typechecking.pdf
paper/references/principal-type-schemes-for-functional-programs.pdf → references/Luis Damas, Robin Milner - Principal type-schemes for functional programs.pdf
paper/references/a-system-of-constructor-classes.pdf → references/Mark P Jones - A System of Constructor Classes.pdf
references/Mitchell Wand - A Simple Algorithm and Proof for Type Inference.pdf
paper/references/how-to-make-ad-hoc-polymorphism-less-ad-hoc.pdf → references/Philip Wadler, Stephen Blott - How to make ad-hoc polymorphism less ad hoc.pdf
paper/references/bulk-types-with-class.pdf → references/Simon Peyton-Jones - Bulk types with class.pdf
--- a/paper/references/implementing-and-understanding-type-classes.pdf
+++ b/paper/references/implementing-and-understanding-type-classes.pdf
--- a/references/.DS_Store
+++ b/references/.DS_Store
--- a/paper/references/him-ml.pdf
+++ b/paper/references/him-ml.pdf
--- a/references/Luca Cardelli - Basic Polymorphic Typechecking.pdf
+++ b/references/Luca Cardelli - Basic Polymorphic Typechecking.pdf
--- a/paper/references/principal-type-schemes-for-functional-programs.pdf
+++ b/paper/references/principal-type-schemes-for-functional-programs.pdf
--- a/paper/references/a-system-of-constructor-classes.pdf
+++ b/paper/references/a-system-of-constructor-classes.pdf
--- a/references/Mitchell Wand - A Simple Algorithm and Proof for Type Inference.pdf
+++ b/references/Mitchell Wand - A Simple Algorithm and Proof for Type Inference.pdf
--- a/paper/references/how-to-make-ad-hoc-polymorphism-less-ad-hoc.pdf
+++ b/paper/references/how-to-make-ad-hoc-polymorphism-less-ad-hoc.pdf
--- a/paper/references/bulk-types-with-class.pdf
+++ b/paper/references/bulk-types-with-class.pdf