Sciweavers

1003 search results - page 25 / 201

» Type Inference with Inequalities

85

Voted

PLDI
2010
ACM

203views Programming Languages» more PLDI 2010»

Inferable object-oriented typed assembly language

15 years 9 months ago

Inferable object-oriented typed assembly language

Download cseweb.ucsd.edu

Ross Tate, Juan Chen, Chris Hawblitzel

claim paper

Read More »

113

IFL
1999
Springer

100views Formal Methods» more IFL 1999»

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

15 years 8 months ago

Type-Inference Based Short Cut Deforestation (Nearly) without Inlining

Download www.cs.kent.ac.uk

Olaf Chitil

claim paper

Read More »

122

Voted

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 8 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

96

Voted

ESOP
1992
Springer

102views Programming Languages» more ESOP 1992»

Typing References by Effect Inference

15 years 8 months ago

Typing References by Effect Inference

Download mitpress.mit.edu

Andrew K. Wright

claim paper

Read More »

110

Voted

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 7 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

« Prev « First page 25 / 201 Last » Next »