Tofte, M. Operational Semantics and Polymorphic Type Inference. Ph.D. Thesis, University of Edinburgh, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Constrained Cuantification in Polymorphic - Type Analysis Pavel (Correct)
Smartest Recompilation - Shao, Appel (1993) (55 citations) (Correct)
An Implementation of Standard ML Modules - David Macqueen Att (1988) (22 citations) (Correct)
Types for Modules - Russo (1998) (3 citations) (Correct)
Polymorphic Type Inference and Assignment - Leroy, Weis (1991) (40 citations) (Correct)
The Marriage of Effects and Monads - Wadler (1998) (13 citations) (Correct)
Rank 2 Type Systems and Recursive Definitions - Jim (1995) (15 citations) (Correct)
Rank 2 Type Systems and Recursive Definitions - Jim (1995) (15 citations) (Correct)
Automatic Parallelization of Higher-Order Languages in the.. - Collard (1997) (Correct)
An Explicit Polymorphic Type System for Verifying Untrusted.. - Chung (2000) (Correct)
A Portable Standard ML Implementation - Elsman (1994) (2 citations) (Correct)
Algebraic Reconstruction of Types and Effects - Jouvelot, Gifford (1991) (60 citations) (Correct)
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (1 citation) (Correct)
Return Types for Functional Continuations - Gunter, Rémy, Riecke (1998) (Correct)
Monads and Effects (revised) - Benton, Hughes, Moggi (2000) (1 citation) (Correct)
A Type System that Reconciles Classes and Extents - Buneman, Ohori (12 citations) (Correct)
Static Type Inference for Parametric Classes - Ohori (1989) (18 citations) (Correct)
Type-Directed Specialization of Polymorphism - Ohori (1999) (Correct)
Static Dependent Costs for Estimating Execution Time - Brian Reistad David (Correct)
Polymorphic Time Systems for Estimating Program - Complexity Vincent Dornic (Correct)
Formal properties of shape analysis in FISh - Jay (1998) (Correct)
Return Types for Functional Continuations - Carl Gunter University (Correct)
A Type System for Well-Founded Recursion - Dreyer, Harper, Crary (2003) (4 citations) (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) Self-citation (Tofte) (Correct)
Program Modules, Separate Compilation, and Intermodule Optimisation - Elsman Self-citation (Tofte) (Correct)
First 50 documents Next 50
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