Search Sciweavers | Sciweavers

1003 search results - page 6 / 201

» Type Inference with Inequalities

click to vote

SFP
2001

104views Programming Languages» more SFP 2001»

Function Types in Complete Type Inference

13 years 8 months ago

Download www.fernuni-hagen.de

: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...

Manfred Widera, Christoph Beierle

claim paper

Read More »

click to vote

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

14 years 2 months ago

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

click to vote

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

Principal Type Inference for GHC-Style Multi-parameter Type Classes

14 years 1 months ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »

click to vote

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

The Complexity of Type Inference for Higher-Order Typed Lambda Calculi

13 years 11 months ago

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

click to vote

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers