Using Parameterized Signatures to Express Modular Structure (1996)

by Mark P. Jones
Venue:POPL'96
Citations:67 - 1 self

Active Bibliography

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
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
2 Standard ML Type Generativity as Existential Quantification – Claudio V. Russo, Claudio V. Russo - 1996
69 Types for Modules – Claudio V. Russo - 1998
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
15 First-Class Modules for Haskell – Mark Shields , Simon Peyton Jones - 2002
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
34 Typed Cross-Module Compilation – Zhong Shao - 1998
102 Compiling with Types – Greg Morrisett - 1995
Type Theory for Programming Languages – Robert Harper - 1994
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
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000