add a couple of recent papers

diff --git a/wiki/academia/reading_list.mdwn b/wiki/academia/reading_list.mdwn
index 4a0b12b..22813f6 100644 (file)
--- a/wiki/academia/reading_list.mdwn
+++ b/wiki/academia/reading_list.mdwn
@@ -2,6 +2,8 @@
 
 ## 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