Sciweavers

31686 search results - page 142 / 6338

» Resource typing in Guru

25

ECOOP
2003
Springer

114views Programming Languages» more ECOOP 2003»

Regular Object Types

14 years 2 months ago

Regular Object Types

Download www.cis.upenn.edu

Vladimir Gapeyev, Benjamin C. Pierce

claim paper

Read More »

21

ECOOP
2003
Springer

90views Programming Languages» more ECOOP 2003»

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

14 years 2 months ago

A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information

Download patricklam.ca

Patrick Lam, Martin C. Rinard

claim paper

Read More »

20

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

14 years 2 months ago

Type Inference for a Distributed pi-Calculus

Download www.cogs.susx.ac.uk

Cédric Lhoussaine

claim paper

Read More »

21

PLDI
2010
ACM

203views Programming Languages» more PLDI 2010»

Inferable object-oriented typed assembly language

14 years 2 months ago

Inferable object-oriented typed assembly language

Download cseweb.ucsd.edu

Ross Tate, Juan Chen, Chris Hawblitzel

claim paper

Read More »

32

SCALESPACE
2009
Springer

180views Computer Vision» more SCALESPACE 2009»

Fast Shape from Shading for Phong-Type Surfaces

14 years 1 months ago

Fast Shape from Shading for Phong-Type Surfaces

Download www.mia.uni-saarland.de

Oliver Vogel, Michael Breuß, Thomas Leichtwe...

claim paper

Read More »

« Prev « First page 142 / 6338 Last » Next »