Search Sciweavers | Sciweavers

226 search results - page 10 / 46

» Types, Subtypes, and ASL

click to vote

LICS
1994
IEEE

102views Automated Reasoning» more LICS 1994»

Efficient Inference of Object Types

13 years 11 months ago

Download www.cs.ucla.edu

Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...

Jens Palsberg

claim paper

Read More »

click to vote

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

14 years 25 days ago

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

click to vote

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

14 years 19 days ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

click to vote

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

13 years 11 months ago

Download www.dbai.tuwien.ac.at

Sergei G. Vorobyov

claim paper

Read More »

click to vote

CSR
2006
Springer

68views Theoretical Computer Science» more CSR 2006»

Polarized Subtyping for Sized Types

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers