1 Papers by Queinnec on Lisp macros' semantics:
3 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
4 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
6 Misc stuff on static analysis:
8 * Kwangkeun Yi: Compile-time Detection of Uncaught Exceptions in Standard ML Programs. 238-254, SAS94