A Semantics for Higher-order Functors (1994)

Cached

Download Links

by David B. MacQueen , Mads Torre
Citations:57 - 2 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
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
69 Types for Modules – Claudio V. Russo - 1998
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
Type Theory for Programming Languages – Robert Harper - 1994
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
25 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
102 Compiling with Types – Greg Morrisett - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
11 Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL – Bernd Krieg-Brückner, Donald Sannella
198 Reflections on Standard ML – David B. MacQueen - 1992
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999