| Alternate document: Details Type Checking Higher-Order Polymorphic Multi-Methods (97) François Bourdoncle, Stephan Merz |
François Bourdoncle, Stephan Merz  Home/Search
Context Related
| www4.in.tum.de/pub...997_Conference.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML [21,28], and class-based objectoriented programming and higher-order multi-methods in the tradition of CLOS [12]. Instead of using extensible records as a foundation for object-oriented extensions of functional languages, we propose to reinterpret ML datatype declarations as abstract and concrete class declarations,... (Update)
Context of citations to this paper: More
.... 32, 42] Constraints were also instrumental in generalizing the ML type system towards record polymorphism [28, 34, 43] overloading [8, 27] and subtyping [1, 12, 32] see also [26] for further references) Along this line, we use feature trees [3] as the semantic domain of...
.... [11, 21, 24] Feature constraints also occur naturally in type inference for programming languages with object types or record types [4, 20, 22]. Following [1 3] we consider feature constraints as predicate logic formulas interpreted in the structure of feature trees. A...
Cited by: More
Type Inference with Structural Subtyping: A faithful.. - Simonet (2003) (Correct)
Type Inference With Structural Subtyping: - Faithful Formalization Of (Correct)
Modular Statically Typed Multimethods - Millstein, Chambers (2002) (Correct)
Active bibliography (related documents): More All
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.1: Type Checking Higher-Order Polymorphic Multi-Methods - Bourdoncle, Merz (1997) (Correct)
0.1: Constrained Types: A Personal Perspective - Smith (1996) (Correct)
Similar documents based on text: More All
0.5: On the Integration of Functional Programming, Class-Based.. - Bourdoncle, Merz (1996) (Correct)
0.4: Primitive Subtyping /\ Implicit Polymorphism |=.. - Bourdoncle, Merz (1996) (Correct)
0.2: Sensitivity analysis using Itô-Malliavin calculus and.. - Gobet, Munos (2002) (Correct)
Related documents from co-citation: More All
8: Subtyping constrained types - Trifonov, Smith - 1996
8: Pizza into Java: Translating Theory into Practice - Odersky, Wadler - 1997
7: Coercion and type inference (context) - Mitchell - 1984
BibTeX entry: (Update)
F. Bourdoncle, S. Merz, Type checking higher-order polymorphic multimethods, Proc. POPL'97, pp.302-315, Paris, jan. 1997. http://citeseer.ist.psu.edu/bourdoncle97type.html More
@inproceedings{ bourdoncle97typechecking,
author = "Fran{\c{c}}ois Bourdoncle and Stephan Merz",
title = "Type-Checking Higher-Order Polymorphic Multi-Methods",
booktitle = "Conference Record of {POPL}~'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
month = "15--17",
address = "Paris, France",
pages = "302--315",
year = "1997",
url = "citeseer.ist.psu.edu/bourdoncle97type.html" }
Citations (may not include all citations):315 Dynamic Typing in a Statically-Typed Language - Abadi, Cardelli et al. - 1991
187 Type Inclusion Constraints and Type Inference - Aiken, Wimmers - 1993
106 PolyTOIL: a type-safe polymorphic object-oriented language - Bruce, Schuett et al.
41 A Theory of Primitive Objects: Second-Order Systems - Abadi, Cardelli - 1994
7 class-based object-oriented programming (context) - Bourdoncle, Merz et al. - 1996
http://www4.informatik.tu-muenchen.de/~merz/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC