Robin Milner: A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348--375, 1978. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Operations on Records - Cardelli, Mitchell (1991) (67 citations) (Correct)
A Polymorphic lambda-calculus with Type:Type - Cardelli (1986) (4 citations) (Correct)
A Semantics of Multiple Inheritance - Cardelli (1988) (360 citations) (Correct)
A Functional Abstraction of Typed Contexts - Danvy, Filinski (1989) (13 citations) (Correct)
Basic Polymorphic Typechecking - Cardelli (1988) (56 citations) (Correct)
Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (Correct)
Behaviour Analysis for Validating Communication Patterns - Amtoft, Nielson, Nielson (1997) (Correct)
Graph-based Implementation of a Functional Logic Language - Kuchen, Loogen.. (1990) (21 citations) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
Behaviour Analysis for Validating Communication Patterns - Amtoft, Nielson, Nielson (1998) (Correct)
Polymorphic Subtyping for Effect Analysis: the Dynamic.. - Amtoft, Nielson.. (1997) (Correct)
Operations on Records - Cardelli, Mitchell (1993) (67 citations) (Correct)
Using an ML-Like Language to Specify the Semantics of Machine.. - Ramsey (1998) (Correct)
Amber - Cardelli (1986) (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