Luca Cardelli  Home/Search
Context Related
| dec.com/pub/DEC/SRC/resear...SRC045.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: dcs.qmw.ac.uk/S...ctional.imptype (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: There exists an identifiable programming style based on the widespread use of type information handled through mechanical typechecking techniques. (Update)
Cited by: More
Unknown - Type Prod List (Correct)
Static Dependent Types for First Class Modules - Mark Sheldon And (Correct)
Specification Matching of Software Components - Zaremski (1997) (Correct)
Similar documents (at the sentence level):
72.0%: Typeful Programming - Cardelli (1993) (Correct)
37.0%: The Quest Language and System - Cardelli (1994) (Correct)
Active bibliography (related documents): More All
1.2: On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (Correct)
0.5: Amber - Cardelli (1986) (Correct)
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.3: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
0.2: Higher Order Algebraic Data Types (extended abstract) - Wehr (1998) (Correct)
0.2: Inheritance as an Incremental Modeification Mechanism of What .. - Wegner, Zdonik (1988) (Correct)
Related documents from co-citation: More All
17: Abstract Types Have Existential Type (context) - Mitchell, Plotkin - 1988
17: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
15: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
BibTeX entry: (Update)
Luca Cardelli. Typeful programming. Technical Report 45, DEC SRC, 1989. http://citeseer.ist.psu.edu/article/cardelli89typeful.html More
@incollection{ cardelli91typeful,
author = "Luca Cardelli",
title = "Typeful Programming",
booktitle = "Formal Description of Programming Concepts",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "E. J. Neuhold and M. Paul",
pages = "431--507",
year = "1991",
url = "citeseer.ist.psu.edu/article/cardelli89typeful.html" }
Citations (may not include all citations):1002 programming language (context) - Stroustrup - 1986
342 data abstraction and polymorphism (context) - Cardelli, Wegner et al. - 1985
210 its syntax and semantics (context) - Barendregt, lambda-calculus - 1985
202 Communications of the ACM (context) - Pamas, criteria et al. - 1972
102 Abstraction Mechanisms in CLU (context) - Liskov - 1977
76 DEC Systems Research Center (context) - Cardelli, Donahue et al. - 1989
30 Texts and Monographs in Computer Science (context) - Wirth, Modula- - 1983
29 a reference manual (context) - Harbison, Steele - 1984
28 Intuitionistic type theory (context) - Martin-LOf - 1980
27 an Algol-based simulation language (context) - Dahl, Nygaard - 1966
19 lecture notes for the International Summer School in Compute.. (context) - Strachey, in et al. - 1967
13 Plotkin: Abstract types have existential type (context) - Mitchell - 1985
10 Canning: Inheritance is not subtyping (context) - Cook, Hill
10 North-Holland (context) - Kowalski, problem - 1979
9 Symposium on Lisp and Functional Programming (context) - MacQueen, Standard et al. - 1984
8 Computer Science Department (context) - Plotkin, approach et al. - 1981
8 Morrison: An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983
8 Guttag: Abstraction and specification in program development (context) - Liskov - 1986
8 Sweet: Mesa language manual (context) - Mitchell, Maybury - 1979
8 Symposium on Lisp and Functional Programming (context) - Milner, for et al. - 1984
8 Springer-Verlag Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
7 Theoretical Computer Science (context) - Courcelle, of et al. - 1983
7 Pitts: The theory of constructions: categorical semantics an.. (context) - Hyland
7 Huet: Constructions: a higher order proof system for mechani.. (context) - Coquand - 1985
7 Meseguer: Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
7 Gifford: Polymorphic Effect Systems (context) - Lucassen
6 Lampson: A kernel language for abstract data types and modul.. (context) - Burstall - 1984
5 Wilpolt introduction to TrelliOwl (context) - Bullis, Schaffert et al.
5 Donahue: Revised Report on Russell (context) - Demers - 1979
4 Tofte: The definition of Standard ML - Version (context) - Harper, Milner - 1988
4 Bits of history (context) - Krasner, Smalltalk- - 1983
4 Comm ACM (context) - Landin, next et al. - 1966
4 Moon: Lisp machine manual (context) - Weinreb - 1981
4 Plotkin: Dynamic Typing in a Statically Typed Language (context) - Abadi, Cardelli et al. - 1989
4 Cardelli: Subtyping recursive types (context) - Amadio
3 Report CMU-CS (context) - Reynolds, of et al. - 1988
3 Yemini: NIL: an integrated language and system for distribut.. (context) - Strom - 1983
3 O'Keefe: A polymorphic type system for Prolog (context) - Mycroft - 1984
3 Schneider: Concepts and notations for concurrent programming (context) - Andrews - 1983
3 Kurtz: Basic Programming (context) - Kemeny - 1971
2 Lecture Notes in Computer Science n (context) - Cardelli, Combinators et al. - 1986
1 limination des coupures dans l'analyse et la th (context) - Girard, de l'interpr et al. - 1971
1 Berarducci: Automatic synthesis of typed (context) - BOhm - 1985
1 and the programming language Oberon (context) - Wirth, to - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.imptype.html): More
Standard ML Weak Polymorphism Can Be Sound - Greiner (1993) (Correct)
Dynamic Typing in a Statically Typed Language - Abadi, Cardelli, Pierce, Plotkin (1989) (Correct)
Dynamic Typing in Polymorphic Languages - Abadi, Cardelli, Pierce.. (1994) (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