Recursive modules for programming

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

Volumn 2006, Issue , 2006, Pages 74-86

  Nakata, Keiko ^a   Garrigue, Jacques ^b  

^a KYOTO UNIVERSITY   (Japan)

^b NAGOYA UNIVERSITY   (Japan)

Author keywords

Applicative functors; Recursive modules; The expression problem; Type inference; Type systems

Indexed keywords

APPLICATIVE FUNCTORS; EXPRESSION PROBLEM; RECURSIVE MODULES; TYPE INFERENCE; TYPE SYSTEMS;

ABSTRACTING; COMPUTER PROGRAMMING; CONSTRAINT THEORY; PARAMETER ESTIMATION; PROBLEM SOLVING; SEMANTICS;

RECURSIVE FUNCTIONS;

EID: 34247272031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159813     Document Type: Conference Paper

References (27)

1. G. Boudol. The recursive record semantics of objects revisited. Journal of Functional Programming, 14:263-315, 2004.
2. W. R. Cook. Object-Oriented Programming Versus Abstract Data Types. In Proc. REX Workshop, volume 489 of Lecture Notes in Computer Science. Springer-Verlag, 1990.
3. K. Crary, R. Harper, and S. Puri. What is a recursive module? In Proc. PLDI'99, pages 50-63, 1999.
4. D. Dreyer. A type system for well-founded recursion. In Proc. POPL'04, 2004.
5. D. Dreyer. Recursive Type Generativity. In Proc. ICFP'05, 2005.
6. D. Dreyer. Understanding and Evolving the ML Module System, PhD thesis, Carnegie Mellon University, 2005.
7. J. Garrigue. Programming with polymorphic variants. In In Proc. ML workshop'98, 1998.
8. J. Garrigue. Private rows: abstracting the unnamed. http://www.math. nagoya-u.ac.jp/~garrigue/papers/privaterows.pdf, 2005.
9. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proc. POPL'94, 1994.
10. R. Harper, J. C. Mitchell, and E. Moggi. Higher-order modules and the phase distinction. In Pore. of POPL'90, pages 341-354, 1990.
11. T. Hirschowitz and X. Leroy. Mixin modules in a call-by-value setting. In Five. ESOP'02, pages 6-20, 2002.
12. X. Leroy. Manifest types, modules, and separate compilation. In Proc. POPL'94, pages 109-122. ACM Press, 1994.
13. X. Leroy. Applicative functors and fully transparent higher-order modules. In Proc. POPL'95, pages 142-153. ACM Press, 1995.
14. X. Leroy. A modular module system. Journal of Functional Programming, 10(3):269-303, 2000.
15. X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system, release 3.09. Software and documentation available on the Web, http://caml.inria.fr/, 2005.
16. D. MacQueen. Modules for Standard ML. In Proc. the 1984 ACM Conference on LISP and Functional. Programming, pages 198-207. ACM Press, 1984.
17. R. Milner. Communicating and Mobile Systems: the pi-Calculus. Cambridge University Press, 1999.
18. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
19. K. Nakata and J. Garrigue. Path resolution for recursive modules. Technical Report 1545, Kyoto University Research Institute for Mathematical Sciences, 2006.
20. K. Nakata and J. Garrigue. Recursive modules for programming. Technical Report 1546, Kyoto University Research Institute for Mathematical Sciences, 2006.
21. D. Rémy and J. Garrigue. On the expression problem, http://pauillac.inria.fr/~remy/work/expr/, 2004.
22. S. Romanenko, C. Russo, N. Kokholm, and P. Sestoft. Moscow ML, 2004. Software and documentation available on the Web, http://www.dina.dk/~sestoft/ mosml.html.
23. C. Russo. Recursive Structures for Standard ML. In Proc. ICFP'01, pages 50-61. ACM Press, 2001.
24. C. Stone. Type definitions. In Advanced Topics in Types and Programming Languages, chapter 9. The MIT Press, 2004.
25. M. Torgersen. The Expression Problem Revisited. In European Conference on Object-Oriented Programming:LN CS, volume 3086. Springer-Verlag, 2004.
26. P. Wadler. The expression problem. Java Genericity maling list, 1998. http://www.csa.ohio-state.edu/~gb/cis888.07g/java-genericity/20.
27. M. Zenger and M. Odersky. Independently Extensible Solutions to the Expression Problem. In Proc. FOOL 12, 2005.