Add original Traits paper, remove author names from reference filenames

bc40ba44 · Mark Cohen · cf56f053 · bc40ba44 · bc40ba44 · bc40ba44
Commit bc40ba44 authored Mar 01, 2019 by Mark Cohen
Showing with 0 additions and 0 deletions
references/Mitchell Wand - A Simple Algorithm and Proof for Type Inference.pdf → references/A Simple Algorithm and Proof for Type Inference.pdf
references/Mark P Jones - A System of Constructor Classes.pdf → references/A System of Constructor Classes.pdf
references/Luca Cardelli - Basic Polymorphic Typechecking.pdf → references/Basic Polymorphic Typechecking.pdf
references/Simon Peyton-Jones - Bulk types with class.pdf → references/Bulk types with class.pdf
references/Jean Goubault - HimML.pdf → references/HimML.pdf
references/Philip Wadler, Stephen Blott - How to make ad-hoc polymorphism less ad hoc.pdf → references/How to make ad-hoc polymorphism less ad hoc.pdf
references/John Reppy, Aaron Turon - Metaprogramming with Traits.pdf → references/Metaprogramming with Traits.pdf
references/Graham Hutton, Erik Meijer - Monadic Parser Combinators.pdf → references/Monadic Parser Combinators.pdf
references/Luis Damas, Robin Milner - Principal type-schemes for functional programs.pdf → references/Principal type-schemes for functional programs.pdf
references/Traits - A Mechanism for Fine-grained Reuse.pdf
references/Ramin Zabih - Type Inference and Unification.pdf → references/Type Inference and Unification.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/references/Mark P Jones - A System of Constructor Classes.pdf
+++ b/references/Mark P Jones - A System of Constructor Classes.pdf
--- a/references/Luca Cardelli - Basic Polymorphic Typechecking.pdf
+++ b/references/Luca Cardelli - Basic Polymorphic Typechecking.pdf
--- a/references/Simon Peyton-Jones - Bulk types with class.pdf
+++ b/references/Simon Peyton-Jones - Bulk types with class.pdf
--- a/references/Jean Goubault - HimML.pdf
+++ b/references/Jean Goubault - HimML.pdf
--- a/references/Philip Wadler, Stephen Blott - How to make ad-hoc polymorphism less ad hoc.pdf
+++ b/references/Philip Wadler, Stephen Blott - How to make ad-hoc polymorphism less ad hoc.pdf
--- a/references/John Reppy, Aaron Turon - Metaprogramming with Traits.pdf
+++ b/references/John Reppy, Aaron Turon - Metaprogramming with Traits.pdf
--- a/references/Graham Hutton, Erik Meijer - Monadic Parser Combinators.pdf
+++ b/references/Graham Hutton, Erik Meijer - Monadic Parser Combinators.pdf
--- a/references/Luis Damas, Robin Milner - Principal type-schemes for functional programs.pdf
+++ b/references/Luis Damas, Robin Milner - Principal type-schemes for functional programs.pdf
--- a/references/Traits - A Mechanism for Fine-grained Reuse.pdf
+++ b/references/Traits - A Mechanism for Fine-grained Reuse.pdf
--- a/references/Ramin Zabih - Type Inference and Unification.pdf
+++ b/references/Ramin Zabih - Type Inference and Unification.pdf