Mixin' up the ML module system

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 307-320

  Dreyer, Derek ^a   Rossberg, Andreas ^a  

^a MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

Abstract data types; Hierarchical composability; Mixin modules; ML modules; Recursive modules; Type systems

Indexed keywords

ABSTRACT DATA TYPES; HIERARCHICAL COMPOSABILITY; MIXIN MODULES; ML MODULES; RECURSIVE MODULES; TYPE SYSTEMS;

ABSTRACTING; COMPUTER PROGRAMMING; FUNCTIONAL PROGRAMMING; MACHINE DESIGN; PROGRAMMING THEORY; RECURSIVE FUNCTIONS;

HIERARCHICAL SYSTEMS;

EID: 59249083902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411248     Document Type: Conference Paper

References (33)

1. D. Ancona, S. Fagorzi, E. Moggi, and E. Zueca. Mixin modules and computational effects. In ICALP '03.
2. Davide Ancona and Elena Zueca. A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science, 8(4):401-446, 1998.
3. Davide Ancona and Elena Zueca. A calculus of module systems. Journal of Functional Programming, 12(2):91-132, 2002.
4. Gilad Bracha and William Cook. Mixin-based inheritance. In OOPSLA '90.
5. Gilad Bracha and Gary Lindstrom. Modularity meets inheritance. In ICCL '92.
6. Karl Crary, Robert Harper, and Sidd Puri. What is a recursive module? In PLDI '99.
7. Derek Dreyer. A type system for recursive modules. In ICFP '07.
8. Derek Dreyer. A type system for well-founded recursion. In POPL '04.
9. Derek Dreyer. Recursive type generativity. Journal of Functional Programming, 17(4&5):433-471, 2007.
10. Derek Dreyer, Karl Crary, and Robert Harper. A type system for higher-order modules. In POPL '03.
11. Derek Dreyer and Andreas Rossberg. MixML (project website). http://www.mpi-sws.mpg.de/~rossberg/mixml/.
12. Dominic Duggan. Type-safe linking with recursive DLLs and shared libraries. ACM Transactions on Programming Languages and Systems, 24(6):711-804, 2002.
13. Dominic Duggan and Constantinos Sourelis. Mixin modules. In ICFP '96.
14. Matthew Flatt and Matthias Felleisen. Units: Cool modules for HOT languages. In PLDI '98.
15. Robert Harper and Mark Lillibridge. A type-theoretic approach, to higher-order modules with sharing. In POPL '94.
16. Robert Harper and Chris Stone. A type-theoretic interpretation of Standard ML. In Proof, Language, and Interaction: Essays in Honor of Robin Milner. MIT Press, 2000.
17. Tom Hirschowitz and Xavier Leroy. Mixin modules in a call-by-value setting. ACM Transactions on Programming Languages and Systems, 27(5):857-881, 2005.
18. Mark P. Jones. Using parameterized signatures to express modular structure. In POPL '96.
19. Xavier Leroy. Applicative functors and fully transparent higher-order modules. In POPL '95.
20. Xavier Leroy. Manifest types, modules, and separate compilation. In POPL '94.
21. Xavier Leroy. A modular module system. Journal of Functional Programming, 10(3):269-303, 2000.
22. Xavier Leroy. A proposal for recursive modules in Objective Caml, 2003. http://caml.inria.fr/pub/papers/xleroy-recursive-modules-03.pdf.
23. David MacQueen. Modules for Standard ML. In LFP '84.
24. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
25. D. A. Moon. Object-oriented programming with Flavors. In OOPSLA '86.
26. Keiko Nakata and Jacques Garrigue. Recursive modules for programming. In ICFP '06.
27. Nathaniel Nystrom, Xin Qi, and Andrew Myers. J&: Nested intersection for scalable software composition. In OOPSLA '06.
28. M. Odersky, V. Cremet, C. Röckl, and M. Zenger. A nominal theory of objects with dependent types. In ECOOP '03.
29. Martin Odersky and Matthias Zenger. Scalable component abstractions. In OOPSLA '05.
30. Scott Owens and Matthew Flatt. From structures and functors to modules and units. In ICFP '06.
31. Norman Ramsey, Kathleen Fisher, and Paul Govereau. An expressive language of signatures. In ICFP '05.
32. Andreas Rossberg. The missing link - dynamic components for ML. In ICFP '06.
33. Claudio V. Russo. Recursive structures for Standard ML. In ICFP '01.