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

Documents Related by Co-Citation

605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
79 A Modular Module System – Xavier Leroy - 2000
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
69 Types for Modules – Claudio V. Russo - 1998
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
91 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
75 System F with type equality coercions – Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly - 2007
17 Non-Dependent Types for Standard ML Modules – Claudio V. Russo - 1999
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
28 Transparent Modules with Fully Syntactic Signatures – Zhong Shao - 1999
25 Bounded Existentials and Minimal Typing – Giorgio Ghelli, Benjamin Pierce - 1996