Luca Cardelli, John C. Mitchell  Home/Search
Context Related
| microsoft.com/Users/luca/...SRC048.pdf 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: luca.demon.co.uk/Bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order type system over these operations supports both subtyping and polymorphism. We provide typechecking algorithms and limited semantic models. (Update)
Cited by: More
Methods as Pattern-Matching Functions - Barry Jay University (2004) (Correct)
Program Generation and Components - Ancona, Moggi (Correct)
On Generalized Records and Spatial Conjunction in Role Logic - Kuncak, Rinard (2004) (Correct)
Similar documents (at the sentence level):
65.0%: Operations on Records - Cardelli, Mitchell (1991) (Correct)
Active bibliography (related documents): More All
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.4: A Type system for Object-Oriented Database Programming and.. - Caseau, Perron (1991) (Correct)
0.4: Attaching Second-Order Types to Methods in an Object-Oriented .. - Caseau, Perron (1993) (Correct)
Similar documents based on text: More All
0.2: Theoretical Aspects of Object-Oriented Programming - Types.. - Gunter, (eds.) (1993) (Correct)
0.1: An extension of system F with subtyping - Cardelli, Martini, Mitchell.. (1991) (Correct)
0.1: Linear Logic Proof Games And Optimization - Lincoln, Mitchell, Scedrov (1996) (Correct)
Related documents from co-citation: More All
27: A Semantics of Multiple Inheritance - Cardelli - 1988
15: A Denotational Semantics of Inheritance - Cook - 1989
14: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
BibTeX entry: (Update)
L. Cardelli, J.C. Mitchell: "Operations on records" -- Mathematical Structures in Computer Science, Vol. 1, pp 3-48, 1991. http://citeseer.ist.psu.edu/cardelli93operations.html More
@incollection{ cardelli94operations,
author = "Luca Cardelli and John C. Mitchell",
title = "Operations on Records",
booktitle = "Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design",
publisher = "The MIT Press",
address = "Cambridge, MA",
editor = "C. A. Gunter and J. C. Mitchell",
pages = "295--350",
year = "1994",
url = "citeseer.ist.psu.edu/cardelli93operations.html" }
Citations (may not include all citations):1002 programming language (context) - Stroustrup - 1986
342 data abstraction and polymorphism (context) - Cardelli, Wegner et al. - 1985
162 Prentice Hall (context) - Meyer, construction - 1988
76 DEC Systems Research Center (context) - Cardelli, Donahue et al. - 1989
29 Mathematical Structures in Computer Science (context) - Curien, Ghelli et al.
27 an Algol-based simulation language (context) - Dahl, Nygaard - 1966
14 Journal of Computer and System Science (context) - Milner, of et al. - 1978
9 et son application l'limination des coupures dans l'analyse .. (context) - Girard, de l'interprtation et al. - 1971
5 Wilpolt introduction to TrelliOwl (context) - Bullis, Schaffert et al. - 1986
4 Thse de doctorat d'tat (context) - Girard, et et al. - 1972
3 of the 11th ACM Symposium on Principles of Programming Langu.. (context) - Mitchell, type et al. - 1984
2 the Fourth IEEE Symposium on Logic in Computer Science (context) - Wand, for et al. - 1989
2 Mitchell: The semantics of second order lambda calculus (context) - Bruce, Meyer - 1990
2 Mitchell: ML with extended pattern matching and subtypes (context) - Jategaonkar - 1988
2 the Fourth IEEE Symposium on Logic in Computer Science (context) - Breazu-Tannen, Coquand et al. - 1989
2 of the 16th ACM Symposium on Principles of Programming Langu.. (context) - Rmy, records et al. - 1989
2 the Second IEEE Symposium on Logic in Computer Science (context) - Wand, Inference et al. - 1987
2 Revised version in Logic Foundations of Functional Programmi.. (context) - Mitchell, inference et al. - 1989
2 the Third IEEE Symposium on Logic in Computer Science (context) - Bruce, Longo et al. - 1988
1 Moggi: Constructive natural deduction and its `w-set' interp.. (context) - Longo - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.htm): More
An implementation of F<: - Cardelli (1993) (Correct)
Migratory Applications - Bharat (1995) (Correct)
Program Fragments, Linking, and Modularization - Cardelli (1997) (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