Derek Dreyer
- Department of Computer Science
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
Phone: (773)702-6614
Fax: (773)702-8487
dreyer@cs.uchicago.edu
Technical Reports
- TR-2007-10
- A Type System for Recursive Modules. Derek Dreyer. 20 July, 2007. Communicated by Dave MacQueen.
- TR-2007-02
- Principal Type Schemes for Modular Programs. Derek Dreyer; Matthias Blume. 5 January, 2007. Communicated by Dave MacQueen.
- TR-2006-09
- Modular Type Classes. Derek Dreyer; Robert Harper; Manuel M.T. Chakravarty; Gabriele Keller. 26 October, 2006. Communicated by Pedro Felzenszwalb.
- TR-2006-08
- Principal Type Schemes for Modular Programs. Derek Dreyer; Matthias Blume. 26 October, 2006. Communicated by Pedro Felzenszwalb.
- TR-2006-07
- Practical Type Theory for Recursive Modules. Derek Dreyer. 31 August, 2006. Communicated by Robby Findler.
- TR-2006-03
- Modular Type Classes. Derek Dreyer; Robert Harper; Manuel M.T. Chakravarty; Gabriele Keller. 14 April, 2006. Communicated by Robby Findler.