Luca Cardelli  Home/Search
Context Related
| microsoft.com/Users/lu...QuestManual.ps From: luca.demon.co.uk/Notes (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: types should always define their own equality operation in their interface. (Update)
Context of citations to this paper: More
...in [ACN90] and later used in other systems like Lego, LP92] where the concept was formalized. Similar mechanism exist e.g. in Quest, Car94] and Russell, BDD89] The current implementation of hidden arguments is quite weak and cannot always nd the hidden arguments even when...
...the individuals of a population, this is usually not necessary. It is a hindrance to force this. All typed logics that we are aware of [7, 1], require all sets to be types. However, this can force the the type mechanism to be used in an unintuitive, ontologically dubious...
Cited by: More
Unknown - Like The Previous (Correct)
The Use of the Typed Lambda Calculus for Guiding Naive Users in.. - Uschold (1996) (Correct)
Cayenne - a Language With Dependent Types - Augustsson (1998) (Correct)
Similar documents (at the sentence level):
63.1%: Typeful Programming - Cardelli (1993) (Correct)
Active bibliography (related documents): More All
1.4: 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.5: A semantic basis for Quest - Cardelli, Longo (1990) (Correct)
0.3: Bounded Existentials and Minimal Typing - Ghelli, Pierce (1996) (Correct)
0.2: Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (Correct)
Related documents from co-citation: More All
2: The Calculus of Constructions (context) - Coquand, rard - 1986
2: A short description of another logical framework (context) - Augustsson, Coquand et al. - 1990
BibTeX entry: (Update)
Luca Cardelli. The Quest Language and System. Research report, DEC SRC, 1994. http://citeseer.ist.psu.edu/cardelli94quest.html More
@misc{ cardelli94quest,
author = "L. Cardelli",
title = "The Quest Language and System",
text = "Luca Cardelli. The Quest Language and System. Research report, DEC SRC,
1994.",
year = "1994",
url = "citeseer.ist.psu.edu/cardelli94quest.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
102 Abstraction Mechanisms in CLU (context) - Liskov - 1977 ACM DBLP
76 DEC Systems Research Center (context) - Cardelli, Donahue et al. - 1988
30 Texts and Monographs in Computer Science (context) - Wirth, Modula- - 1983
29 a reference manual (context) - Harbison, Steele
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
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 Computer Science Department (context) - Plotkin, approach et al. - 1981
8 Springer-Verlag Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
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 Symposium on Lisp and Functional Programming (context) - Milner, for et al. - 1984
8 Sweet: Mesa language manual (context) - Mitchell, Maybury - 1979
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 Pitts: The theory of constructions: categorical semantics an.. (context) - Hyland
7 Gifford: Polymorphic Effect Systems (context) - Lucassen
7 Theoretical Computer Science (context) - Courcelle, of et al. - 1983
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 Bits of history (context) - Krasner, Smalltalk- - 1983
4 Tofte: The definition of Standard ML - Version (context) - Harper, Milner - 1988
4 Berarducci: Automatic synthesis of typed l-programs on term .. (context) - Bhm - 1985
4 Comm ACM (context) - Landin, next et al. - 1966
4 Plotkin: Dynamic Typing in a Statically Typed Language (context) - Abadi, Cardelli et al. - 1989
3 Institut fr Informatik (context) - Wirth, to et al. - 1987
3 Communications of the ACM (context) - Parnas, criteria et al. - 1972
2 of the 13th Summer School of the LITP (context) - Cardelli, Combinators et al.
Documents on the same site (http://www.luca.demon.co.uk/Notes.html):
Types for the Scott numerals - Mart'in Abadi Luca (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