a bunch of papers from remy on records typing
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 May 2009 13:54:48 +0000 (15:54 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 May 2009 13:54:48 +0000 (15:54 +0200)
wiki/academia/reading_list.mdwn

index fb82346..0163e49 100644 (file)
@@ -2,6 +2,9 @@
 
 ## Recently read papers
 
+* *[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
 * *[Computational Social Science](http://www.sciencemag.org/cgi/content/full/323/5915/721)*, by Lazer et al.
 * *Towards more Semantic Web techniques in databases of Open Source development facts*, by Olivier Berger et al.
 * *[Model-Driven Development (WMDD 2004)](http://springerlink.metapress.com/content/x0wfwadp82h1fkmv/fulltext.pdf)* by Bezivin et al.