Mechanizing the Metatheory of Standard ML (2006)

Cached

Download Links

by Daniel K. Lee , Karl Crary , Robert Harper
Citations:75 - 9 self

Active Bibliography

69 Types for Modules – Claudio V. Russo - 1998
A Mixin ’ Up the ML Module System – Andreas Rossberg Google
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
16 Toward a Practical Type Theory for Recursive Modules – Derek R. Dreyer, Robert Harper, Karl Crary - 2001
24 A module calculus for Pure Type Systems – Judicael Courant - 1996
Under consideration for publication in J. Functional Programming 1 Recursive type generativity – Derek Dreyer
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
A module system with applicative functors and recursive path references – Keiko Nakata
14 A Type System for Recursive Modules – Derek Dreyer
4 A Syntactic Type System for Recursive Modules – Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
15 Recursive Modules for Programming – Keiko Nakata, Jacques Garrigue - 2006
15 First-Class Modules for Haskell – Mark Shields , Simon Peyton Jones - 2002
12 Sound and Complete Elimination of Singleton Kinds – Karl Crary - 2000