Sciweavers

2646 search results - page 9 / 530

» Local Type Inference

108

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

15 years 10 months ago

Type inference for datalog with complex type hierarchies

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

108

Voted

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

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

15 years 9 months ago

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

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »

117

Voted

POPL
1991
ACM

113views Programming Languages» more POPL 1991»

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

15 years 7 months ago

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

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

92

Voted

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

15 years 3 months ago

Type Inference for Variant Object Types

Download cs-people.bu.edu

Michele Bugliesi, Santiago M. Pericás-Geert...

claim paper

Read More »

112

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

15 years 1 months ago

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Download homepages.di.fc.ul.pt

Vasco Thudichum Vasconcelos, Francisco Martins, Ti...

claim paper

Read More »

« Prev « First page 9 / 530 Last » Next »