Using Parameterized Signatures to Express Modular Structure (1996)

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

Documents Related by Co-Citation

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
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
69 Types for Modules – Claudio V. Russo - 1998
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
198 Reflections on Standard ML – David B. MacQueen - 1992
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
79 A Modular Module System – Xavier Leroy - 2000
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
66 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002