web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Fri, 6 Jun 2008 09:15:39 +0000 (09:15 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Fri, 6 Jun 2008 09:15:39 +0000 (09:15 +0000)
wiki/academia/reading_list/on_macros__44___lisp__44___....mdwn

index 71cce76..e725e95 100644 (file)
@@ -2,3 +2,7 @@ Papers by Queinnec on Lisp macros' semantics:
 
 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
+
+Misc stuff on static analysis:
+
+* Kwangkeun Yi: Compile-time Detection of Uncaught Exceptions in Standard ML Programs. 238-254, SAS94