last paper

diff --git a/wiki/academia/reading_list.mdwn b/wiki/academia/reading_list.mdwn
index 22813f6..525d279 100644 (file)
--- a/wiki/academia/reading_list.mdwn
+++ b/wiki/academia/reading_list.mdwn
@@ -2,6 +2,7 @@
 
 ## Recently read papers
 
 
 ## Recently read papers
 

+* *[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
 * *[Projective ML](http://portal.acm.org/citation.cfm?id=141507)*, by Rémy
 * *[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