Luca Cardelli  Home/Search
Context Related
| microsoft.com/User...Typechecking.A4.ps microsoft.com/User...sicTypechecking.ps 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: cs.chalmers.se/~rjmh/tutorials (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is largely concerned with implicit polymorphism; it is nonetheless important to dedicate the rest of this section to the relationships between the two kinds of parametric polymorphism. (Update)
Cited by: More
Refinement Types for ML - Freeman (1994) (Correct)
Pattern-Based Languages for Prototyping of Compiler Optimizers - Charles Donald Farnum (1990) (Correct)
Polymorphic Type Reconstruction Using Type Equations - Choppella (2003) (Correct)
Similar documents (at the sentence level):
13.0%: Compiling a Functional Language - Cardelli (1984) (Correct)
Active bibliography (related documents): More All
1.7: On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
0.7: A Polymorphic lambda-calculus with Type:Type - Cardelli (1986) (Correct)
0.3: The TRANSPOSE Machine - A Global Implementation of a.. - Ben-Asher, Seidl.. (Correct)
Similar documents based on text: More All
0.3: Christopher Strachey: recollections of his influence - Gordon (1999) (Correct)
0.2: Implementing CCS, the LCS experiment - Berthomieu (1989) (Correct)
0.1: Structural Subtyping and the Notion of Power Type - Cardelli (1988) (Correct)
Related documents from co-citation: More All
29: A theory of type polymorphism in programming (context) - Milner - 1978
15: Principal type schemes for functional programs (context) - Damas, Milner - 1982
14: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
BibTeX entry: (Update)
L. Cardelli. Basic polymorphic type checking. Science of Computer Programming, 8(2), 1987. http://citeseer.ist.psu.edu/cardelli88basic.html More
@article{ cardelli87basic,
author = "Luca Cardelli",
title = "Basic Polymorphic Typechecking",
journal = "Science of Computer Programming",
volume = "8",
number = "2",
pages = "147-172",
year = "1987",
url = "citeseer.ist.psu.edu/cardelli88basic.html" }
Citations (may not include all citations):39 Transactions of the American Mathematical Society (context) - Hindley, type et al. - 1969
34 Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
19 lecture notes for the International Summer School in Compute.. (context) - Strachey, in et al. - 1967
14 Journal of Computer and System Sciences (context) - Milner, of et al. - 1978
13 Milner: Principal type-schemes for functional programs (context) - Damas
9 et son application l'limination des coupures dans l'analyse .. (context) - Girard, de l'interprtation et al. - 1971
9 Journal of the ACM (context) - Robinson, logic et al. - 1965
8 ACM Symposium on Lisp and Functional Programming (context) - Milner, for et al. - 1984
7 Meyer: The semantics of second order polymorphic lambda calc.. (context) - Bruce - 1984
7 Sethi: An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin - 1984
4 SIAM Journal of Computing (context) - Scott, as - 1976
3 Sannella: Hope: an Experimental Applicative Language (context) - Burstall, MacQueen - 1980
2 Feys: Combinatory logic (context) - Curry - 1958
1 Lecture noted in Computer Science n (context) - Coppo, polymorphic et al. - 1980
1 to appear in Computing Surveys (context) - Cardelli, Wegner et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.chalmers.se/~rjmh/tutorials.html): More
Polymorphic Type Inference - Schwartzbach (1995) (Correct)
Introduction to Functional Programming using Gofer - Wentworth (1990) (Correct)
Foundations of Functional Programming - Paulson (1995) (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