Extensional polymorphism by flow graph dispatching

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2895, Issue , 2003, Pages 376-393

  Furuse, Jun ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DIRECTED GRAPHS; GRAPHIC METHODS;

NON-PARAMETRIC; RUN-TIME TYPES; RUNTIMES; SIMPLE STRUCTURES;

FLOW GRAPHS;

EID: 0345014827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40018-9_25     Document Type: Article

References (12)

1. Martín Abadi, Luca Cardelli, Benjamin Pierce, and Didier Rémy. Dynamic typing in polymorphic languages. In Proceedings of the 1992 workshop on ML and its applications, 1992.
2. Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In International Conference on Functional Programming, pages 301-312, 1998.
3. Catherine Dubois, Francois Rouaix, and Pierre Weis. Extensional polymorphism. In Proceedings of the 22th ACM Conference on Principles of Programming Languages, January 1995.
4. Dominic Duggan and John Ophel. Open and closed scopes for constrained genericity. volume 275, pages 215-258, 2002.
5. R. Hinze and J. Jeuring. Generic Haskell: Practice and theory. In Summer School on Generic Programming, Lecture Notes in Computer Science. Springer-Verlag, 2002.
6. Paul Hudak, Simon Peyton Jones, and Philip Wadler. Report on the programming language Haskell, version 1.2. Technical report, Yale University, 1992.
7. Mark P. Jones and John C. Peterson. Hugs 98: A functional programming system based on haskell 98 - user manual.
8. Xavier Leroy and Michel Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431-463, 1994.
9. Martin Odersky, Philip Wadler, and Martin Wehr. A second look at overloading. In Functional Programming Languages and Computer Architecture, pages 135-146, 1995.
10. Atsushi Ohori. A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems, 17(6):844-895, November 1995.
11. MB Shields and SL Peyton Jones. First class modules for Haskell. In 9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon, pages 28-40, January 2002.
12. Andrew K. Wright. Simple imperative polymorphism. Lisp and Symbolic Computation, 8(4):343-355, 1995.