Modules

Keywords: There are still a few more module papers on my real shelf (I just haven't got that much time for reading currently).
[-]Separate Compilation for Standard ML
Andrew W. Appel and David B. MacQueen (techreport, 1994)

[-]Persistent First Class Procedures are Enough
Atkinson, M. P. and Morrison, R.[Joseph, M. and Shyamasundar, R. (ed)] (INCOLLECTION, 1984)

[-]A Kernel Language for Modules and Abstract Data Types
R. Burstall and B. Lampson (TechReport, 1984)

[-]On Understanding Types, Data Abstraction, and Polymorphism
Luca Cardelli and Peter Wegner (article, 1985)

[-]An implementation of higher-order functors
Cregut, P. and MacQueen, D. (inproceedings, 1994)

[-]Programming-in-the-Large Versus Programming-in-the-Small
Frank DeRemer and Hans H. Kron (article, 1976)

[-]Implementation Dependent Compilation of Standard ML by Unfolding Modules
Martin Elsman (misc, 1995)

[-]Environments as First Class Objects
David Gelernter and Suresh Jagannathan and Thomas London (inproceedings, 1987)

[-]Early Experience with Mesa
Charles M. Geschke and James H. Morris Jr. and Edwin H. Satterthwaite (article, 1977)

[-]Dynamic ML without Dynamic Types
Stephen Gilmore and Dilsun K\'irl\'i and Christopher Walton (techreport, 1997)

[-]Parameterized Programming and Software Architecture
Joseph A. Goguen[ (ed)] (inproceedings, 1996)

[-]Eine typisierte, rein funktionale Modulsprache für das Programmieren-im-Großen
Franz-Josef Grosch (inproceedings, 1995)

[-]A Type-Theoretic Approach to Higher-Order Modules with Sharing
Robert Harper and Mark Lillibridge (techreport, 1994)

[-]Higher Order Modules and the Phase Distinction
Robert Harper and John C. Mitchell and Eugenio Moggi (inproceedings, 1990)

[-]Modules and Persistence in Standard ML
Robert E. Harper (techreport, 1986)

[-]Dynamic Modules in Higher-Order Languages
Jagannathan, Suresh (inproceedings, 1994)

[-]From Hindley-Milner Types to First-Class Structures
Jones, Mark P. (inproceedings, 1995)

[-]Using Parameterized Signatures to Express Modular Structure
Jones, Mark P. (inproceedings, 1996)

[-]First-class polymorphism for ML
Stefan Kahrs[Donald Sannella (ed)] (inproceedings, 1993)

[-]Manifest types, modules, and separate compilation
Xavier Leroy (inproceedings, 1994)

[-]Applicative functors and fully transparent higher-order modules
Xavier Leroy (inproceedings, 1995)

[-]Translucent Sums: A Foundation for Higher-Order Module Systems
Mark Lillibridge (misc, 1996)

[-]Translucent Sums: A Foundation for Higher-Order Module Systems
Mark Lillibridge (phdthesis, 1997)

[-]Modules for Standard ML
D. MacQueen (incollection, 1985)

[-]Using Dependent Types to Express Modular Structure
David MacQueen (inproceedings, 1986)

[-]A Semantics for Higher-order Functors
David B. MacQueen and Mads Tofte (inproceedings, 1994)

[-]Poly and Standard ML
David C. J. Matthews (article, 1985)

[-]An extension of Standard ML modules with subtyping and inheritance
J. C. Mitchell and S. Meldal and N. Madhav (inproceedings, 1991)

[-]A category-theoretic account of program modules
Moggi, E. (article, 1991)

[-]An Exploration of Modular Programs
J. Nicklisch and S.L. Peyton Jones[Phil Trinder (ed)] (inproceedings, 1996)

[-]A Polymorphic Language With First-Class Modules
John Ophel (article, 1995)

[-]A Technique for Software Module Specification with Examples
D. L. Parnas (article, 1972)

[-]On the Criteria To Be Used in Decomposing Systems into Modules
D. L. Parnas (article, 1972)

[-]The Modular Structure of Complex Systems
D. L. Parnas and P. C. Clements and D. M. Weiss (inproceedings, 1984)

[-]First-class modules for component-based programming
Simon Peyton Jones and Mark Jones (misc, 1996)

[-]Functions, Frames, and Interactions
Claus Reinke[T.~Johnsson (ed)] (inproceedings, 1995)

[-]Functions, Frames, and Interactions (advocating first class modules)
Claus Reinke[Tiziana Margaria (ed)] (inproceedings, 1995)

[-]Functions, Frames, and Interactions -- completing a lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
Claus Reinke (phdthesis, 1997)

[-]Standard ML Type Generativity as Existential Quantification
Claudio V.~Russo (techreport, 1996)

[-]Smart Recompilation in Glasgow Haskell
Patrick Sansom[Phil Trinder (ed)] (inproceedings, 1996)

[-]ALPHARD: Form and Content
[Mary Shaw (ed)] (book, 1981)

[-]Design and Implementation of Modula
Niklaus Wirth (article, 1977)

[-]The Module: A System Structuring Facility in High-Level Programming Languages
Niklaus Wirth[Jeffrey M.~Tobias (ed)] (inproceedings, 1979)

cr3@ukc.ac.uk