Mechanizing the Metatheory of Standard ML (2006)

Cached

Download Links

by Daniel K. Lee , Karl Crary , Robert Harper
Citations:78 - 10 self

Active Bibliography

Abstract Towards a Mechanized Metatheory of Standard ML ∗ – unknown authors
Abstract Towards a Mechanized Metatheory of Standard ML ∗ – unknown authors
Abstract Towards a Mechanized Metatheory of Standard ML ∗ – unknown authors
Abstract Mechanizing the Metatheory of Standard ML ∗ – Daniel K. Lee, Karl Crary, Robert Harper
68 Types for Modules – Claudio V. Russo - 1998
42 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
15 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
23 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998