Northwestern University PLT Dissertations
PhD Disserations
2007 Jacob Matthews The Meaning of Multi-language programs
2014 James Swaine Incremental Parallelization of Existing Sequential Runtime Systems
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