Sciweavers

2646 search results - page 9 / 530

» Local Type Inference

86

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

15 years 7 months ago

Type inference for datalog with complex type hierarchies

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

82

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

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

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

90

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

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

Download www.diku.dk

Fritz Henglein, Harry G. Mairson

claim paper

Read More »

70

IANDC
2002

59views more IANDC 2002»

Type Inference for Variant Object Types

15 years 4 days ago

Type Inference for Variant Object Types

Download cs-people.bu.edu

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

claim paper

Read More »

81

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

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

14 years 10 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 »