Sciweavers

2646 search results - page 28 / 530

» Local Type Inference

72

PLDI
2010
ACM

203views Programming Languages» more PLDI 2010»

Inferable object-oriented typed assembly language

15 years 7 months ago

Inferable object-oriented typed assembly language

Download cseweb.ucsd.edu

Ross Tate, Juan Chen, Chris Hawblitzel

claim paper

Read More »

100

IFL
1999
Springer

100views Formal Methods» more IFL 1999»

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

15 years 6 months ago

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

Download www.cs.kent.ac.uk

Olaf Chitil

claim paper

Read More »

108

Voted

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 6 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

82

ESOP
1992
Springer

102views Programming Languages» more ESOP 1992»

Typing References by Effect Inference

15 years 6 months ago

Typing References by Effect Inference

Download mitpress.mit.edu

Andrew K. Wright

claim paper

Read More »

98

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 6 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

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