Sciweavers

1072 search results - page 48 / 215

» Object-Oriented Type Inference

105

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 8 months ago

Type Inference for a Distributed pi-Calculus

Download www.cogs.susx.ac.uk

Cédric Lhoussaine

claim paper

Read More »

82

PLDI
2010
ACM

203views Programming Languages» more PLDI 2010»

Inferable object-oriented typed assembly language

15 years 8 months ago

Inferable object-oriented typed assembly language

Download cseweb.ucsd.edu

Ross Tate, Juan Chen, Chris Hawblitzel

claim paper

Read More »

105

IFL
1999
Springer

100views Formal Methods» more IFL 1999»

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

15 years 7 months ago

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

Download www.cs.kent.ac.uk

Olaf Chitil

claim paper

Read More »

114

ICCL
1994
IEEE

95views Programming Languages» more ICCL 1994»

Binding-time Analysis: Abstract Interpretation versus Type Inference

15 years 7 months ago

Binding-time Analysis: Abstract Interpretation versus Type Inference

Download www.cs.ucla.edu

Jens Palsberg, Michael I. Schwartzbach

claim paper

Read More »

89

ESOP
1992
Springer

102views Programming Languages» more ESOP 1992»

Typing References by Effect Inference

15 years 7 months ago

Typing References by Effect Inference

Download mitpress.mit.edu

Andrew K. Wright

claim paper

Read More »

« Prev « First page 48 / 215 Last » Next »