Search Sciweavers | Sciweavers

316 search results - page 11 / 64

» Subtyping Union Types

189

click to vote

ENTCS
2002

91views more ENTCS 2002»

Subtyping in Logical Form

15 years 5 months ago

Download www.di.unito.it

By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...

Ugo de'Liguoro

claim paper

Read More »

147

click to vote

LICS
1994
IEEE

102views Automated Reasoning» more LICS 1994»

Efficient Inference of Object Types

15 years 10 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 »

111

click to vote

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

15 years 11 months ago

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper