Open data types and open functions

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn 2006, Issue , 2006, Pages 133-144

  Löh, Andres ^a   Hinze, Ralf ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

Expression problem; Extensible data types; Extensible exceptions; Extensible functions; Functional programming; Generic programming; Haskell; Mutually recursive modules

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; SEMANTICS;

DATA CONSTRUCTORS; DATA TYPES; FUNCTION EQUATIONS; GENERIC PROGRAMMING;

DATA STRUCTURES;

EID: 33750897594     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1140335.1140352     Document Type: Conference Paper

References (28)

1. Wadler, P.: The expression problem. Mail to the java-genericity mailing list (1998)
2. Chambers, C.: Object-oriented multi-methods in Cecil. In: ECOOP '92: Proceedings of the European Conference on Object-Oriented Programming, Springer-Verlag (1992) 33-56
3. Millstein, T., Bleckner, C., Chambers, C.: Modular typechecking for hierarchically extensible datatypes and functions. In: ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, ACM Press (2002) 110-122
4. Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM Press (1998) 171-183
5. Hinze, R.: Generics for the masses, In Fisher, K., ed.: Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004. (2004) 236-243
6. Löh, A., Jeuring, J., Clarke, D., Hinze, R., Rodriguez, A., de Wit, J.: The Generic Haskell user's guide, version 1.42 (Coral). Technical Report UU-CS-2005-004, Institute of Information and Computing Sciences, Utrecht University (2005)
7. Cheney, J., Hinze, R.: A lightweight implementation of generics and dynamics. In: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, ACM Press (2002) 90-104
8. Oliveira, B.C., Gibbons, J.: TypeCase: A design pattern for type-indexed functions. In: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, ACM Press (2005) 98-109
9. Hinze, R., Löh, A., Oliveira, B.C.: "Scrap Your Boilerplate" reloaded. In Hagiya, M., Wadler, P., eds.: Proceedings of FLOPS 2006. Lecture Notes in Computer Science, Springer (2006) Available from http://www.iai.uni-bonn.de/~loeh/SYBO.html.
10. Daume, H.: Haskell all-in-one. Tool homepage (2003) http: //www.isi.edu/~hdaume/HallInOne/.
11. Meacham, J.: Jhc. Compiler homepage (2006) http://repetae. net/john/computer/jhc/jhc.html.
12. Zenger, M., Odersky, M.: Independently extensible solutions to the expression problem. In: Foundations of Object-Oriented Languages (FOOL 2005). (2005)
13. Zenger, M., Odersky, M.: Extensible algebraic datatypes with defaults. In: Proceedings of the International Conference on Functional Programming (ICFP 2001). (2001)
14. Torgersen, M.: The expression problem revisited - four new solutions using generics. In Odersky, M., ed.: Proceedings of ECOOP 2004, Springer (2004) 123-146
15. Leroy, X., Doligez, D., Garrigue, J., Rémy, D., Vouillon, J.: The Objective Cami system release 3.09 - Documentation and user's manual. Institut National de Recherche en Informatique et en Automatique. (2004) Available from http://caml.inria.fr/ pub/docs/manual-ocaml/.
16. Gaster, B.R., Jones, M.P.: A polymorphic type system for extensible records and variants. Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham (1996)
17. Leijen, D.: Extensible records with scoped labels. In: Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05), (2005) 297-312
18. Garrigue, J.: Code reuse through polymorphic variants. In: Workshop on Foundations of Software Engineering. (2000)
19. Nordlander, J.: A survey of O'Haskell. Web article (2001) Available from http://www.cs.chalmers.se/~nordland/ohaskell/ survey.html.
20. Kiselyov, O., Lämmel, R.: Haskell's overlooked object system. Draft. Available from http://homepages.cwi.nl/~ralf/OOHaskell/ (2005)
21. Sheard, T.: Putting Curry-Howard to work. In: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, ACM Press (2005) 74-85
22. Mitchell, N., Runciman, C.: Unfailing Haskell: a static checker for pattern matching. In: Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05). (2005) 313-328
23. Dijkstra, A., Swierstra, S.D.: Explicit implicit parameters. Technical Report UU-CS-2004-059, Institute of Information and Computing Sciences, Utrecht University (2004)
24. McBride, C., McKinna, J.: The view from the left. Journal of Functional Programming 14(1) (2004) 69-111
25. Hanus, M.: Curry - An Integrated Functional Logic Language (Version 0.8). (2003) Available from http://www.informatik. uni-kiel.de/~mh/curry/report.html.
26. Field, A.J., Harrison, P.O.: Functional Programming. Addison-Wesley (1988)
27. Tullsen, M.: First class patterns. In Pontelli, E., Costa, V.S., eds.: Practical Aspects of Declarative Languages, Second International Workshop. Number 1753 in Lecture Notes in Computer Science, Springer (2000) 1-15
28. Stewart, D., Chakravarty, M.M.T.: Dynamic applications from the ground up. In: Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, ACM Press (2005) 27-38