Search Sciweavers | Sciweavers

316 search results - page 11 / 64

» Subtyping Union Types

click to vote

ENTCS
2002

91views more ENTCS 2002»

Subtyping in Logical Form

14 years 9 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 »

Voted

LICS
1994
IEEE

102views Automated Reasoning» more LICS 1994»

Efficient Inference of Object Types

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

Voted

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

15 years 3 months ago

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »