Luca Cardelli, Giuseppe Longo  Home/Search
Context Related
| ens.fr/pub/dmi/users/...questsem.ps.gz 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: ens.fr/~longo/download (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 partial... (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.3: A semantic basis for Quest - Cardelli, Longo (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.5: The Quest Language and System - Cardelli (1994) (Correct)
0.3: Coherence and Transitivity of Subtyping as Entailment - Longo, MILSTED, SOLOVIEV (1996) (Correct)
0.3: Prototype Proofs in Type Theory - LONGO (1998) (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/article/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/article/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
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 SRI International (context) - Meseguer, of et al.
5 Lecture Notes for the IFIP Advanced Seminar on Formal Method.. (context) - Cardelli, programming - 1989
4 Revised and expanded edition (context) - Barendregt, calculus et al.
4 the Workshop on Database Programming Languages (context) - Ohori, types et al. - 1987
4 Springer-Verlag (context) - Troelstra, of et al.
3 Preliminary version: CMU Report CS (context) - Bruce, Longo 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 Ghelli: Coherence of subsumption (context) - Curien
3 CIME Lectures Montecatini Terme (context) - Scedrov, to et al.
3 the Fourth Annual Symposium on Logic in Computer Science (context) - Wand, for et al. - 1989
3 Information and Computation (context) - Amadio, realizability
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 Dipartimento di Informatica (context) - Amadio, of et al.
3 the Fourth Annual Symposium on Logic in Computer Science (context) - Breazu-Tannen, Coquand et al. - 1989
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.
1 limination des coupures dans l'arithmétique d'ordre supérieu.. (context) - Girard, et - 1972
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ens.fr/~longo/download.html): More
Mathematics and the Biological Phenomena - Longo (Correct)
The difference between Clocks and Turing Machines - Longo (1995) (Correct)
Carnap's Remarks on Impredicative Definitions and the.. - Fruchart, Longo (1996) (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