Sciweavers

1081 search results - page 23 / 217

» Type Inference of SELF

92

APLAS
2003
ACM

98views Programming Languages» more APLAS 2003»

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

15 years 9 months ago

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver

Download www.normalesup.org

Vincent Simonet

claim paper

Read More »

105

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

15 years 9 months ago

Type Inference for a Distributed pi-Calculus

Download www.cogs.susx.ac.uk

Cédric Lhoussaine

claim paper

Read More »

83

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 »

111

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 »

117

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 »

« Prev « First page 23 / 217 Last » Next »