Search Sciweavers | Sciweavers

1081 search results - page 4 / 217

» Type Inference of SELF

102

click to vote

SFP
2001

104views Programming Languages» more SFP 2001»

Function Types in Complete Type Inference

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

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

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

15 years 3 months ago

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

Voted

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers