David Macqueen
Professor Emeritus at University of Chicago
Los Gatos, California, United States
Summary
👤
Senior🎓
Top SchoolDavid Macqueen is a Professor Emeritus and long-time researcher specializing in programming language design, semantics, compilers, and type and module systems, with over 26 years of academic and research experience. He has led and contributed to foundational projects such as the Standard ML of New Jersey compiler and has been active in IFIP WG 2.8 on functional programming for decades. His work spans HM type inference, algebraic datatypes, and the practical implementation of module and type-checking systems, reflecting deep expertise from both Bell Labs research and university teaching. Based in Los Gatos, California, he continues to develop SML/NJ and teach the foundations of programming languages and functional programming. An often overlooked strength is his blend of formal mathematical logic (PhD from MIT) and hands-on compiler engineering, enabling contributions that are both theoretically sound and practically usable.
26 years of coding experience
33 years of employment as a software developer
PhD, Mathematical Logic, PhD, Mathematical Logic at Massachusetts Institute of TechnologyHS Graduate, HS Graduate at Saratoga High SchoolHigh School diploma, High School diploma at Desert High SchoolBS, Mathematics, BS, Mathematics at Stanford University
Stackoverflow
11reputation
86reached
3answers
0questions
Github Skills (14)
sml10
jersey9
functional-programming9
bit8
machine-learning8
32-bit8
data-science7
mlton6
casting6
cm6
smlnj6
python5
nlp5
deep-learning4
Programming languages (3)
Github contributions (5)
SMLFamily/SMLFamily.github.io
May 2014 - May 2020
Web site for standardml.org.
Contributions:43 commits, 21 pushes, 3 comments in 6 years 1 month
standardmlweb-site
smlnj/prettyprint
Aug 2023 - Dec 2024
Contributions:59 pushes, 1 branch in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.