Active Bibliography

224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
23 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1318 Monads for functional programming – Philip Wadler - 1995
No Type Stamps and No Structure Stamps - a Referentially-Transparent Higher-Order Module Language – Franz-josef Grosch, Abteilung Softwaretechnologie - 1995