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