Program Fragments, Linking, and Modularization (1997)

by Luca Cardelli , Luca Cardelli
Venue:In ACM Symp. on Principles of Programming Languages
Citations:144 - 0 self

Active Bibliography

14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
Type Theory for Programming Languages – Robert Harper - 1994
69 Types for Modules – Claudio V. Russo - 1998
9 A Compilation Manager for Standard ML of New Jersey – Robert Harper, Frank Pfenning, Peter Lee, Eugene Rollins - 1994
16 A higher-order module discipline with separate compilation, dynamic linking, and pickling – Denys Duchier, Leif Kornstaedt, Christian Schulte, Gert Smolka - 1998
34 Typed Cross-Module Compilation – Zhong Shao - 1998
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
8 Nested Types – Martin Odersky, Christoph Zenger - 2001
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
2 Standard ML Type Generativity as Existential Quantification – Claudio V. Russo, Claudio V. Russo - 1996