Search Sciweavers | Sciweavers

226 search results - page 10 / 46

» Types, Subtypes, and ASL

124

click to vote

LICS
1994
IEEE

102views Automated Reasoning» more LICS 1994»

Efficient Inference of Object Types

15 years 8 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

15 years 9 months 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

15 years 9 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

107

click to vote

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

15 years 8 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers