Matthias Blume
- Department of Computer Science
- Physical Sciences Collegiate Division
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
Phone: (773)702-6614
Fax: (773)702-8487
blume@cs.uchicago.edu
Personal Homepage
http://people.cs.uchicago.edu/~blume/
Technical Reports
- TR-2008-07
- Typed Closure Conversion Preserves Observational Equivalence. Amal Ahmed; Matthias Blume. 8 July, 2008. Communicated by Robby Findler.
- TR-2008-03
- Exception Handlers as Extensible Cases. Matthias Blume; Umut Acar; Wonseok Chae. 7 February, 2008. Communicated by Dave MacQueen.
- TR-2007-18
- Imperative Self-Adjusting Computation. Umut Acar; Amal Ahmed; Matthias Blume. 9 November, 2007. Communicated by Robby Findler.
- TR-2007-17
- Imperative Self-Adjusting Computation. Umut A. Acar; Amal Ahmed; Matthias Blume. 10 September, 2007. Communicated by Robby Findler.
- TR-2007-02
- Principal Type Schemes for Modular Programs. Derek Dreyer; Matthias Blume. 5 January, 2007. Communicated by Dave MacQueen.
- TR-2006-08
- Principal Type Schemes for Modular Programs. Derek Dreyer; Matthias Blume. 26 October, 2006. Communicated by Pedro Felzenszwalb.
- 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.
