During the Spring 2010 quarter, I am teaching CMSC 22301: Functional Programming.
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.
Computer Science Department
University of Chicago
1100 E. 58th Street
Chicago, IL 60637
Email: dbm at cs.uchicago.edu