Luca Cardelli  Home/Search
Context Related
| yale.edu/flint/inte...TypefulProg.ps.gz microsoft.com/Users...TypefulProg.A4.ps microsoft.com/Users/lu...TypefulProg.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: yale.edu/flint/internal/readin... (more) From: luca.demon.co.uk/Bibliography (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. This typeful programming style is in a sense independent of the language it is embedded in; it adapts equally well to functional, imperative, object-oriented, and algebraic programming, and it is not incompatible with relational and concurrent programming. The main purpose of this paper is to show how typeful programming is best supported by... (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):
67.7%: Typeful Programming - Cardelli (1989) (Correct)
50.2%: 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.9: Building User Interfaces by Direct Manipulation - Cardelli (1993) (Correct)
0.7: Operations on Records - Cardelli, Mitchell (1991) (Correct)
0.5: An implementation of F<: - Cardelli (1993) (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/cardelli93typeful.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/cardelli93typeful.html" }
Citations (may not include all citations):1002 programming language (context) - Stroustrup - 1986
342 data abstraction and polymorphism (context) - Cardelli, Wegner et al. - 1985
236 Intuitionistic type theory (context) - Martin-Lf - 1980
210 its syntax and semantics (context) - Barendregt, lambda-calculus - 1985
202 Communications of the ACM (context) - Parnas, 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
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 North-Holland (context) - Kowalski, problem - 1979
10 Computer Science Department (context) - Plotkin, approach et al. - 1981
10 Canning: Inheritance is not subtyping (context) - Cook, Hill
9 Symposium on Lisp and Functional Programming (context) - MacQueen, Standard et al. - 1984
9 et son application l'limination des coupures dans l'analyse .. (context) - Girard, de l'interprtation et al. - 1971
8 Morrison: An approach to persistent programming (context) - Atkinson, Bailey et al. - 1983
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
8 Guttag: Abstraction and specification in program development (context) - Liskov - 1986
8 Sweet: Mesa language manual (context) - Mitchell, Maybury - 1979
7 Pitts: The theory of constructions: categorical semantics an.. (context) - Hyland
7 Gifford: Polymorphic Effect Systems (context) - Lucassen
7 Meseguer: Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
7 Theoretical Computer Science (context) - Courcelle, of et al. - 1983
7 Huet: Constructions: a higher order proof system for mechani.. (context) - Coquand - 1985
6 Lampson: A kernel language for abstract data types and modul.. (context) - Burstall - 1984
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 Cardelli: Subtyping recursive types (context) - Amadio
4 Plotkin: Dynamic Typing in a Statically Typed Language (context) - Abadi, Cardelli et al. - 1989
4 Berarducci: Automatic synthesis of typed l-programs on term .. (context) - Bhm - 1985
3 Report CMU-CS (context) - Reynolds, of et al. - 1988
3 Institut fr Informatik (context) - Wirth, to et al. - 1987
3 Kurtz: Basic Programming (context) - Kemeny - 1971
3 O'Keefe: A polymorphic type system for Prolog (context) - Mycroft - 1984
3 Schneider: Concepts and notations for concurrent programming (context) - Andrews - 1983
3 Yemini: NIL: an integrated language and system for distribut.. (context) - Strom - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://flint.cs.yale.edu/flint/internal/reading/): More
Type Systems for Programming Languages - Harper (1996) (Correct)
Linear Continuations - Filinski (1992) (Correct)
Partial Computations in Constructive Type Theory - Smith (1991) (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