Search Sciweavers | Sciweavers

1626 search results - page 13 / 326

» Subtyping with Power Types

click to vote

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

14 years 1 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

14 years 28 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 12 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

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers