Robby Findler
- Former Faculty
- Department of Computer Science
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
Office: Ryerson 275-B
Phone: (773) 702-4029
Fax: (773) 702-8487
robby@eecs.northwestern.edu
Personal Homepage
http://www.eecs.northwestern.edu/~robby/
Research
I work in programming languages. I'm interested in PDEs, contracts, and tools to help semantics engineers.
Technical Reports
- TR-2009-01
- Well-typed programs can't be blamed. Philip Wadler; Robby Findler. 6 January, 2009. Communicated by Robby Findler.
- TR-2007-08
- Operational Semantics for Multi-Language Programs. Jacob Matthews; Robert Bruce Findler. 6 June, 2007. Communicated by Robby Findler.
- TR-2006-10
- Operational Semantics for Multi-Language Programs. Jacob Matthews; Robby Findler. 26 October, 2006. Communicated by Robby Findler.
- TR-2006-06
- 2006 Workshop on Scheme and Functional Programming. Robert Bruce Findler. 29 August, 2006. Communicated by Robby Findler.
- TR-2006-01
- Contracts as Pairs of Projections. Robby Findler; Matthias Blume. 20 January, 2006. Communicated by Robby Findler.
- TR-2004-02
- An Investigation of Contracts as Projections. Robert Bruce Findler; Matthias Blume; Matthias Felleisen. 1 April, 2004. Communicated by Robby Findler.
