Viviana Bono, Jerzy Tiuryn  Home/Search
Context
Related
| di.unito.it/~bono/p...botiushort.ps.gz 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: di.unito.it/cgi...ibsearch_lambda (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is devoted to a comprehensive study of polymorphic subtypes with products. We rst present a sound and complete Hilbert style axiomatization of the relation of being a subtype in presence of !; type constructors and the 8 quanti er, and we show that such axiomatization is not encodable in the system with !; 8 only. In order to give a logical semantics to such subtyping relation, we propose a new form of a sequent which plays a key role in a natural deduction and a Gentzen... (Update)
Similar documents (at the sentence level):
57.4%: Products and Polymorphic Subtypes - Bono, Tiuryn (2002) (Correct)
Active bibliography (related documents): More All
0.6: Subtyping Parametric and Dependent Types - CHEN, LONGO (1996) (Correct)
0.3: Coherence and Transitivity of Subtyping as Entailment - Longo, MILSTED, SOLOVIEV (1996) (Correct)
0.3: A Logic of Subtyping - Longo, Milsted, al. (1996) (Correct)
Similar documents based on text: More All
0.4: A Core Calculus of Classes and Objects - Bono, Patel, Shmatikov, Mitchell (1999) (Correct)
0.4: An Imperative, First-Order Calculus with Object Extension - Bono, Fisher (1998) (Correct)
0.4: Matching for the Lambda Calculus of Objects - Bono, Bugliesi (1998) (Correct)
BibTeX entry: (Update)
@misc{ bono-products,
author = "Viviana Bono and Jerzy Tiuryn",
title = "Products and Polymorphic Subtypes",
url = "citeseer.ist.psu.edu/bono01products.html" }
Citations (may not include all citations):388 On understanding types (context) - Cardelli, Wegner - 1985
86 The Language and its Implementation (context) - Goldberg, Robson - 1983
50 Information and Computation (context) - Cardelli, Martini et al. - 1994
35 minimum typing and typechecking in F (context) - Curien, Ghelli et al. - 1992
32 Type Systems for Object-Oriented Programming Languages - Fisher - 1996
31 On Subtyping and Matching - Abadi, Cardelli - 1995
25 Higher-Order Subtyping with Intersection Types - Compagnoni - 1994
19 The subtyping problem for second-order types is undecidable (context) - Tiuryn, Urzyczyn - 1996
15 A logic of subtyping - Longo, Milsted et al. - 1995
9 Equational axiomatization of bicoercibility for polymorphic .. - Tiuryn - 1995
8 Fundamenta Informaticae (context) - Bono, Bugliesi et al. - 1999
6 Subtyping is not a Good \Match (context) - Bruce, Petersen et al. - 1997
5 A Sequent Calculus for Subtyping Polymorphic Types (context) - Tiuryn - 1996
4 Coherence and Transitivity of Subtyping as Entailment - Longo, Milsted et al. - 2000
1 Reprinted in Logical Foundations of Functional Programming (context) - Mitchell, inference et al. - 1990
Documents on the same site (http://www.di.unito.it/cgi-bin/bibliography/bibsearch_lambda): More
A Complete Characterization of Complete Intersection-Type .. - Dezani-Ciancaglini, al. (Correct)
Principal Typing for Parallel and non-Deterministic .. - Aoun, Barbanera.. (1997) (Correct)
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (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