Hongwei Xi  Home/Search
Context
Related
| bu.edu/~hwxi/academic/...asiapepm02.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: bu.edu/reports/...:ASIAPEPM2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The wide practice of object-oriented programming in current software construction is evident. Despite extensive studies on typing programming objects, it is still undeniably a challenging research task to design a type system for objectoriented programming that is both e#ective in capturing program errors and unobtrusive to program construction. In this paper, we present a novel approach to typing objects that makes use of a recently invented notion of guarded dependent datatypes. We show that... (Update)
Active bibliography (related documents): More All
1.1: Unifying Object-Oriented Programming with Typed Functional.. - Xi (2002) (Correct)
0.8: Guarded Recursive Datatype Constructors - Xi, Chen, Chen (2003) (Correct)
0.3: A Typeful Approach to Object-Oriented Programming with.. - Chen, Shi, Xi (2004) (Correct)
Similar documents based on text: More All
0.3: Cv - Xi (1999) (Correct)
0.3: Facilitating Program Verification with Dependent Types - Xi (2003) (Correct)
BibTeX entry: (Update)
@misc{ xi-unifying,
author = "Hongwei Xi",
title = "Unifying Object-Oriented Programming with Typed Functional Programming",
url = "citeseer.ist.psu.edu/xi02unifying.html" }
Citations (may not include all citations):492 Smalltalk-80: The Language and Its Implementation (context) - Goldenberg, Robson - 1983
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
197 Dependent types in practical programming - Xi, Pfenning - 1999
197 Dependent Types in Practical Programming - Xi - 1998
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
128 On understanding types (context) - Cardelli, Wegner - 1985
86 Intensional polymorphism in type-erasure semantics - Crary, Weirich et al. - 1998
75 A paradigmatic object-oriented programming language: design - Bruce - 1994
60 Flexible Type Analysis - Crary, Weirich - 1999
56 bounded quantification for object-oriented programming (context) - Canning, Cook et al. - 1989
33 Implementing Haskell overloading - Augustsson
19 Computation and Deduction - Pfenning - 2002
19 Guarded Recursive Datatype Constructors - Xi, Chen et al. - 2002
18 Fully Reflexive Intensional Type Analysis - Trifonov, Saha et al. - 1999
6 inheritance and bounded quantification (context) - Bruce, Longo et al. - 1988
6 a type-safe polymorphic object-oriented language (context) - Bruce, Schuett et al. - 1995
6 Foundations of Object-Oriented Languages (context) - Bruce - 2002
5 A formulation of the simple type theory of types (context) - Church - 1940
5 Manning Publications Co (context) - Liu, Objects - 1996
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