Xavier Leroy, Pierre Weis  Home/Search
Context Related
Links: ACM DBLP | inria.fr/INRIA/publicat...RR1327.ps.gz 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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization, and a refined typing of functions. The type system given here leads to a better integration of imperative programming style with the purely applicative kernel of ML. In particular, generic functions that allocate mutable data can safely be given fully polymorphic types. We show the soundness of this type system, and... (Update)
Context of citations to this paper: More
.... This is consistent with earlier results establishing the inconsistency between unrestricted polymorphism and polymorphic reference types [22, 12] and first class continuations [9, 10] The source of the inconsistency may be traced to conflicting motivations for the static and...
...reference or continuation object with di erent types. Several polymorphic type systems have been proposed that achieve this goal [3, 19, 15, 13, 20, 18], but they are either overly restrictive (many useful polymorphic functions that use references or continuations are rejected)...
Cited by: More
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (Correct)
Relaxing the Value Restriction - Jacques Garrigue Research (2003) (Correct)
Proc. 20th Symp. Principles of Programming Languages.. - Polymorphism By Name (Correct)
Similar documents (at the sentence level):
55.7%: Polymorphic Type Inference and Assignment - Leroy, Weis (1991) (Correct)
Active bibliography (related documents): More All
0.3: An Oz Primer - Smolka (1995) (Correct)
0.3: The Oz Programming Model - Smolka (1995) (Correct)
0.3: An exact arithmetic package for ML - Menissier-Morain, Weis (Correct)
Similar documents based on text: More All
0.8: Polymorphic Typing of an Algorithmic Language - Leroy (1992) (Correct)
0.6: Efficient Data Representation in . . . - Leroy (1990) (Correct)
0.5: Programmation Modulaire Avec Surcharge Et Liaison Tardive - Aponte, Castagna (1996) (Correct)
Related documents from co-citation: More All
29: Type inference for polymorphic references (context) - Tofte - 1990
19: A syntactic approach to type soundness - Wright, Felleisen - 1991
18: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
BibTeX entry: (Update)
Xavier Leroy and Pierre Weis. Polymorphic type inference and assignment. In Eighteenth ACM Symposium on Principles of Programming Languages, pages 291--302, Orlando, FL, January 1991. ACM SIGACT/SIGPLAN. http://citeseer.ist.psu.edu/article/leroy90polymorphic.html More
@inproceedings{ leroy91polymorphic,
author = "Xavier Leroy and Pierre Weis",
title = "Polymorphic Type Inference and Assignment",
booktitle = "Conference Record of the Eighteenth Annual {ACM} Symposium on Principles of Programming Languages, Orlando, Florida",
publisher = "ACM Press",
pages = "291--302",
year = "1991",
url = "citeseer.ist.psu.edu/article/leroy90polymorphic.html" }
Citations (may not include all citations):384 The definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
325 Toward a theory of type structure (context) - Reynolds - 1974
322 volume 78 of Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
138 Type inference for polymorphic references (context) - Tofte - 1990 ACM DBLP
99 Polymorphic effect systems (context) - Lucassen, Gifford - 1988 ACM DBLP
87 Operational semantics and polymorphic type inference (context) - Tofte - 1987
82 Typeful programming - Cardelli - 1989
82 Coercion and type inference (context) - Mitchell - 1984 ACM DBLP
31 A calculus of mobile processes: part - Milner, Parrow et al. - 1989
27 Type assignment in programming languages (context) - Damas - 1985
19 First-class synchronous operations in Standard ML (context) - Reppy - 1989 ACM
10 Technical report (context) - Cousineau, Huet et al. - 1990
9 Type inference with subtypes (context) - Fuh, Mishra - 1988 ACM DBLP
7 Interpr'etation fonctionnelle et 'elimination des coupures d.. (context) - Girard - 1972
3 Included in the Standard ML of New Jersey distribution (context) - Appel, MacQueen et al. - 1989
3 FRESH: a higher-order language with unification and multiple.. (context) - Smolka - 1986 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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