Matthias Blume
- Assistant Professor (Part-Time)
- Department of Computer Science
- Assistant Professor (Part-Time)
- Physical Sciences Collegiate Division
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
Office:
Phone: (773)702-6614
Fax: (773)702-8487
blume@cs.uchicago.edu
Personal Homepage
http://people.cs.uchicago.edu/~blume/
Technical Reports
- TR-2008-03
- Exception Handlers as Extensible Cases. Wonseok Chae; Umut Acar; Matthias Blume. 7 February, 2008. Communicated by Dave MacQueen.
- TR-2007-18
- Imperative Self-Adjusting Computation. Matthias Blume; Amal Ahmed; Umut Acar. 9 November, 2007. Communicated by Robby Findler.
- TR-2007-17
- Imperative Self-Adjusting Computation. Matthias Blume; Amal Ahmed; Umut A. Acar. 10 September, 2007. Communicated by Robby Findler.
- TR-2007-02
- Principal Type Schemes for Modular Programs. Matthias Blume; Derek Dreyer. 5 January, 2007. Communicated by Dave MacQueen.
- TR-2006-08
- Principal Type Schemes for Modular Programs. Matthias Blume; Derek Dreyer. 26 October, 2006. Communicated by Pedro Felzenszwalb.
- TR-2006-01
- Contracts as Pairs of Projections. Matthias Blume; Robby Findler. 20 January, 2006. Communicated by Robby Findler.
- TR-2005-15
- Contracts as Pairs of Projections. Robert Bruce Findler; Matthias Blume. 18 November, 2005. Communicated by Robby Findler.
- TR-2004-02
- An Investigation of Contracts as Projections. Matthias Felleisen; Matthias Blume; Robert Bruce Findler. 1 April, 2004. Communicated by Robby Findler.
