Among the courses I have taught recently are CMSC 22100: Programming Languages, and CMSC 22300: 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.
20800 Canon Drive
Los Gatos, CA 95030
Email: dbm at cs.uchicago.edu