Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Robert Harper, Christopher A. Stone. A type-theoretic interpretation of standard ML. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 341-388, The MIT Press, 2000.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Towards a mechanized metatheory of standard MLDaniel K. Lee, Karl Crary, Robert Harper. POPL 2007: 173-184 [doi] A separate compilation extension to standard MLDavid Swasey, Tom Murphy VII, Karl Crary, Robert Harper. ml 2006: 32-42 [doi] On the Type Structure of Standard MLRobert Harper, John C. Mitchell. TOPLAS, 15(2):211-252, 1993. [doi]
The following publications are possibly variants of this publication: