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. 19 Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Relaxing the Value Restriction - Jacques Garrigue Research (2003) (1 citation) (Correct)
Polymorphic Type Assignment and CPS Conversion - Harper, Lillibridge (1993) (30 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Harper, Lillibridge (1993) (41 citations) (Correct)
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (10 citations) (Correct)
VM: A Functional Calculus for Scientific Discovery - Sumii, Bannai (2001) (Correct)
A Critique of Standard ML - Appel (1992) (21 citations) (Correct)
VM\Lambda: A Functional Calculus for Scientific Discovery - Sumii, Bannai (2001) (Correct)
Optimizing Floating Point Operations in Scheme - Wong (Correct)
Monads and Effects (revised) - Benton, Hughes, Moggi (2000) (1 citation) (Correct)
Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995) (2 citations) (Correct)
Monads and Effects - Benton, Hughes, Moggi (2000) (1 citation) (Correct)
Refinement Types for ML - Freeman (1994) (52 citations) (Correct)
Global Tagging Optimization by Type Inference - Henglein (1992) (46 citations) (Correct)
Simple Imperative Polymorphism - Wright (1995) (55 citations) (Correct)
Typing References by Effect Inference - Andrew Wright (1992) (16 citations) (Correct)
Standard ML Weak Polymorphism Can Be Sound - Greiner (1993) (8 citations) (Correct)
Polymorphic Subtyping for Effect Analysis: the Integration - Nielson, Nielson, Amtoft (1996) (1 citation) (Correct)
A Variable Typed Logic of Effects - Honsell (1993) (20 citations) (Correct)
A Theory of Classes for a Functional Language with Effects - Honsell, Mason, Smith.. (1993) (1 citation) (Correct)
Polymorphic Type Assignment and CPS Conversion - Harper, Lillibridge (1992) (30 citations) (Correct)
Polymorphic Typing of Variables and References - Smith, Volpano (Correct)
The Type and Effect Discipline - Talpin, Jouvelot (1992) (33 citations) (Correct)
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (41 citations) (Correct)
A Uniform Type Structure for Secure Information Flow - Honda, Yoshida (2002) (25 citations) (Correct)
Proc. 20th Symp. Principles of Programming Languages.. - Polymorphism By Name Self-citation (Leroy) (Correct)
First 50 documents
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