Ugo de'Liguoro  Home/Search
Context
Related
| di.unito.it/~deligu/pub/dL01.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/~deligu/pub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a simple characterization of convergent terms in Abadi and Cardelli untyped Object Calculus (&-calculus) via intersection types. We consider a -calculus with records and its intersection type assignment system. We prove that convergent -terms are characterized by their types. The characterization is then inherited by the object calculus via self-application interpretation. (Update)
Active bibliography (related documents): More All
0.8: Logical Semantics for the First Order ζ-Calculus - van Bakel, de'Liguoro (Correct)
0.5: Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
0.3: Filter Models for Conjunctive-Disjunctive.. - Dezani-Ciancaglini.. (Correct)
Similar documents based on text: More All
0.5: A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
0.4: Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
0.3: Restricted intersection type assignment systems and object.. - de'Liguoro (2002) (Correct)
BibTeX entry: (Update)
@misc{ de'liguoro-characterizing,
author = "Ugo de'Liguoro",
title = "Characterizing Convergent Terms in Object Calculi via Intersection Types",
url = "citeseer.ist.psu.edu/670628.html" }
Citations (may not include all citations):229 Foundations for Programming Languages (context) - Mitchell - 1996
162 Data types as lattices (context) - Scott - 1976
137 A Filter Lambda Model and the Completeness of Type Assignmen.. (context) - Barendregt, Coppo et al. - 1983
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Ong - 1993
75 Domain Theory in Logical Form (context) - Abramsky - 1991
67 Programming with Intersection Types and Bounded Polymorphism - Pierce - 1991
63 A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
54 Functional characters of solvable terms (context) - Coppo, Dezani et al. - 1981
45 Intersection Type Disciplines in Lambda Calculus and Applica.. (context) - van Bakel - 1993
41 Comparing object encodings - Bruce, Cardelli et al. - 1997
29 Lambda-calcul (context) - Krivine - 1990
27 The Coherence of Languages with Intersection Types (context) - Reynolds - 1991
24 Bisimilarity for first-order calculus of objects with subtyp.. - Gordon, Rees - 1996
20 An interpretation of objects and object types - Abadi, Cardelli et al. - 1996
14 A Lambda Calculus for (Strict) Parallel Functions (context) - Boudol - 1994
6 Intersection types, -models and Bohm trees (context) - Dezani, Giovannetti et al.
6 Operational, denotational and logical descriptions: a case s.. (context) - Egidi, Honsell et al. - 1992
6 Inheritance in Smalltalk-80: a denotational definition (context) - Kamin - 1988
4 Type inference, abstract interpretation and strictness analy.. (context) - Coppo, Ferrari - 1993
3 Compositional Characterizations of -terms using Intersection.. (context) - Dezani, Honsell et al. - 2000
2 Mathematical Society of Japan (context) - Takahashi, Okada et al. - 1998
1 A Type Assignment System for Strongly Normalizable - terms (context) - Pottinger - 1980
1 A paradigmatic Object-Oriented design, static typing and sem.. (context) - Bruce - 1994
1 Inference based analyses of functional programs: dead-code a.. (context) - Coppo, Damiani et al.
1 Simple, Efficient Object Encoding using Intersection Types - Crary
1 A filter model for concurrent lambda-calculus - Dezani, de'Liguoro et al. - 1998
1 Completeness of intersection and union type assignment syste.. - Ishihara, Kurata
Documents on the same site (http://www.di.unito.it/~deligu/pub/): More
Non Deterministic Extensions of Untyped λ-calculus - de'Liguoro, Piperno (1995) (Correct)
A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (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