Northwestern University PLT Dissertations
PhD Disseration
2007 Jacob Matthews The Meaning of Multi-language programs
Masters Disserations
2010 James Swaine Scheme with Futures: Incremental Parallelization in a Language Virtual Machine
2009 Casey Klein Experience with Randomized Testing in Programming Language Metatheory
2004 Jacob Matthews Operational Semantics for Scheme via Term Rewriting
Robby Findler