Search Sciweavers | Sciweavers

1626 search results - page 13 / 326

» Subtyping with Power Types

Voted

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

15 years 8 months ago

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

Voted

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

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

15 years 8 months ago

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

100

click to vote

CSL
1998
Springer

81views Automated Reasoning» more CSL 1998»

Subtyping Functional+Nonempty Record Types

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

Download www2.tcs.ifi.lmu.de

Andreas Abel

claim paper

Read More »

105

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers