last paper
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 10 Jun 2009 21:00:47 +0000 (23:00 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 10 Jun 2009 21:00:47 +0000 (23:00 +0200)
wiki/academia/reading_list.mdwn

index 525d279..41a1c76 100644 (file)
@@ -2,6 +2,9 @@
 
 ## Recently read papers
 
+* *[Tutorial notes on partial evaluation](http://portal.acm.org/citation.cfm?id=158707)*, by Consel and Danvy
+* *[Towards a Precise Definition of the OMG/MDA Framework](http://www2.computer.org/portal/web/csdl/abs/proceedings/ase/2001/1426/00/14260273abs.htm)*, by Bézivin and Gerbé
+* *[On the unification power of models](http://www.springerlink.com/content/xn50242535640k10/)*, by Jean Bézivin
 * *[A Sound Type System for Secure Flow Analysis](http://portal.acm.org/citation.cfm?id=353629.353648)*, by Volpan, Smith, and Irvine
 * *[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