add a couple of recent papers
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 May 2009 14:07:02 +0000 (16:07 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 20 May 2009 14:07:02 +0000 (16:07 +0200)
wiki/academia/reading_list.mdwn

index 4a0b12b..22813f6 100644 (file)
@@ -2,6 +2,8 @@
 
 ## Recently read papers
 
 
 ## Recently read papers
 
+* *[A Simple Applicative Language: Mini-ML](http://portal.acm.org/citation.cfm?id=319847)*, by Clément, Despeyroux, and Kahn
+* *[Principal type-schemes for functional programs](http://portal.acm.org/citation.cfm?id=582176)*, by Damas and Milner
 * *[Projective ML](http://portal.acm.org/citation.cfm?id=141507)*, by Rémy
 * *[Type inference for records in a natural extension of ML](http://repository.upenn.edu/cis_reports/641/)*, by Rémy
 * *[Typechecking records and variants in a natural extension of ML](http://portal.acm.org/citation.cfm?id=75284)*, by Rémy
 * *[Projective ML](http://portal.acm.org/citation.cfm?id=141507)*, by Rémy
 * *[Type inference for records in a natural extension of ML](http://repository.upenn.edu/cis_reports/641/)*, by Rémy
 * *[Typechecking records and variants in a natural extension of ML](http://portal.acm.org/citation.cfm?id=75284)*, by Rémy