dmacqueen Goto Github PK
Name: David MacQueen
Type: User
Company: University of Chicago
Bio: Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.
Location: Los Gatos, CA