During the Spring 2008 quarter, I am teaching CMSC 32001: Topics in Programming Languages (Denotational Semantics and Domain Theory). I am also coteaching CMSC 15400: Intro to Computer Systems with Robby Findler.
My research concerns the design, implementation, and formal foundations for typed functional languages, and in particular the functional language ML. I was involved in the design of the Hope functional language, and later in the design and implementation of Standard ML.
I continue to be actively involved in the development of Standard ML of New Jersey, a free and open-source implementation of the Standard ML programming language.
I am currently the local organizer for the IFIP Working Group 2.8 meeting at Asilomar, June 10-15 2018.
Computer Science Department
University of Chicago
1100 E. 58th Street
Chicago, IL 60637
Email: dbm at cs.uchicago.edu