Luca Cardelli, Giuseppe Longo  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/Users/luca...QuestSem.pdf compaq.com/SRC/personal/l...QuestSem.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: luca.demon.co.uk/Bibliography (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics of Quest is rather challenging. In particular, difficulties arise when we try to model simultaneously features such as contravariant function spaces, record types, subtyping, recursive types, and fixpoints. In this paper we describe in detail the type inference rules for Quest, and we give them meaning using a... (Update)
Context of citations to this paper: More
.... its own fields and (model) methods, and this brings all of the problems associated with multiple inheritance, such as name conflicts [18] [19] [32] 43] Refinement: In JML, a type can refine another type. The notion of refinement [4] is unique in that everything (including...
Cited by: More
Subtyping Recursive Types in Kernel Fun - Colazzo, Ghelli (1999) (Correct)
Subtyping with Power Types - David Aspinall Http (2000) (Correct)
Types, Subtypes, and ASL+ - David Aspinall Department (Correct)
Active bibliography (related documents): More All
8.5: A semantic basis for Quest - Luca Cardelli Giuseppe (1990) (Correct)
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: Typeful Programming - Cardelli (1993) (Correct)
Similar documents based on text: More All
0.9: Building User Interfaces by Direct Manipulation - Cardelli (1993) (Correct)
0.8: Obliq - A Language with Distributed Scope - Cardelli (1994) (Correct)
0.5: The Quest Language and System - Cardelli (1994) (Correct)
Related documents from co-citation: More All
21: On Understanding Types (context) - Cardelli, Wegner - 1985
18: A Semantics of Multiple Inheritance - Cardelli - 1988
16: Information and Computation (context) - Bruce, Longo et al. - 1990
BibTeX entry: (Update)
Luca Cardelli and Giuseppe Longo. A semantic basis for Quest: (Extended abstract). In ACM Conference on Lisp and Functional Programming, pages 30--43, Nice, France, June 1990. Extended version available as DEC SRC Research Report 55, Feb. 1990. http://citeseer.ist.psu.edu/cardelli90semantic.html More
@article{ cardelli91semantic,
author = "Luca Cardelli and Giuseppe Longo",
title = "A Semantic Basis for {Quest}",
journal = "Journal of Functional Programming",
volume = "1",
number = "4",
pages = "417--458",
year = "1991",
url = "citeseer.ist.psu.edu/cardelli90semantic.html" }
Citations (may not include all citations):342 data abstraction and polymorphism (context) - Cardelli, Wegner et al. - 1985
95 an Extended Calculus of Constructions - Luo
76 DEC Systems Research Center (context) - Cardelli, Donahue et al. - 1988
45 Information and Computation (context) - Mitchell, Inference DBLP
30 types and structures: an introduction to category theory for.. (context) - Asperti, Longo
13 Plotkin: Abstract types have existential type (context) - Mitchell - 1985
12 Lecture Notes in Computer Science (context) - Reynolds, not et al. - 1984
10 Canning: Inheritance is not subtyping (context) - Cook, Hill
7 Pitts: The theory of constructions: categorical semantics an.. (context) - Hyland
5 Lecture Notes for the IFIP Advanced Seminar on Formal Method.. (context) - Cardelli, programming - 1989
5 SRI International (context) - Meseguer, of et al.
4 Revised and expanded edition (context) - Barendregt, calculus et al.
4 the Workshop on Database Programming Languages (context) - Ohori, types et al. - 1987
4 Thse de doctorat d'tat (context) - Girard, et et al. - 1972
4 Springer-Verlag (context) - Troelstra, of et al.
3 Scedrov: A categorical approach to realizability and polymor.. (context) - Carboni, Freyd
3 Longo: Lambda-calculus models and extensionality Zeit (context) - Hindley
3 CIME Lectures Montecatini Terme (context) - Scedrov, to et al.
3 Ghelli: Coherence of subsumption (context) - Curien
3 the Fourth Annual Symposium on Logic in Computer Science (context) - Wand, for et al. - 1989
3 Information and Computation (context) - Amadio, realizability DBLP
3 Dipartimento di Informatica (context) - Amadio, of et al.
3 Lecture delivered at the Logic Colloquium (context) - Longo, of et al.
3 Symposium on Category Theory and Comp (context) - Pitts, Set et al.
3 Moggi: Constructive Natural Deduction and its (context) - Longo - 1988
3 Proceedings of the Cesena Conference on Logic and Philosophy.. (context) - Feferman, Vindicated et al.
3 the Fourth Annual Symposium on Logic in Computer Science (context) - Breazu-Tannen, Coquand et al. - 1989
3 Preliminary version: CMU Report CS (context) - Bruce, Longo et al.
3 Journal of the ACM (context) - Feferman, lambda-calculi et al.
3 Oxford University (context) - Rosolini, effectiveness et al.
3 ACM Conference on Lisp and Functional Programming Languages (context) - Martini, have et al.
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.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (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