Active Bibliography

Type Theory for Programming Languages – Robert Harper - 1994
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
34 Typed Cross-Module Compilation – Zhong Shao - 1998
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
102 Compiling with Types – Greg Morrisett - 1995
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
69 Types for Modules – Claudio V. Russo - 1998
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
8 Nested Types – Martin Odersky, Christoph Zenger - 2001
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
12 A Type System for Computer Algebra – Philip S. Santas - 1994
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
57 A Semantics for Higher-order Functors – David B. MacQueen, Mads Torre - 1994
Languages – Dominic Duggan
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000