First-Class Modules for Haskell (2002)

by Mark Shields , Simon Peyton Jones
Venue:IN 9TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES (FOOL 9
Citations:15 - 0 self

Active Bibliography

43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
69 Types for Modules – Claudio V. Russo - 1998
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
A Mixin ’ Up the ML Module System – Andreas Rossberg Google
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
and – Andreas Rossberg, Claudio Russo, Derek Dreyer - 2013
8 Nested Types – Martin Odersky, Christoph Zenger - 2001
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
16 Toward a Practical Type Theory for Recursive Modules – Derek R. Dreyer, Robert Harper, Karl Crary - 2001
13 Principal type schemes for modular programs – Derek Dreyer, Matthias Blume - 2006
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
8 ML modules and Haskell type classes: A constructive comparison – Stefan Wehr, Manuel M. T. Chakravarty
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
24 A module calculus for Pure Type Systems – Judicael Courant - 1996
19 Modular Type Classes – Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997