Sciweavers

31686 search results - page 133 / 6338

» Resource typing in Guru

27

SFM
2009
Springer

85views Formal Methods» more SFM 2009»

Fundamentals of Session Types

14 years 3 months ago

Fundamentals of Session Types

Download www.sti.uniurb.it

Vasco Thudichum Vasconcelos

claim paper

Read More »

18

ICPR
2008
IEEE

106views Computer Vision» more ICPR 2008»

Improving digital ink interpretation through expected type prediction and dynamic dispatch

14 years 3 months ago

Improving digital ink interpretation through expected type prediction and dynamic dispatch

Download projects.csail.mit.edu

Kah Seng Tay, Kimberle Koile

claim paper

Read More »

21

LICS
2008
IEEE

104views Automated Reasoning» more LICS 2008»

Types for Hereditary Permutators

14 years 3 months ago

Types for Hereditary Permutators

Download research.nii.ac.jp

Makoto Tatsuta

claim paper

Read More »

33

TOOLS
2008
IEEE

123views Programming Languages» more TOOLS 2008»

Optimizing Dynamic Class Composition in a Statically Typed Language

14 years 3 months ago

Optimizing Dynamic Class Composition in a Statically Typed Language

Download www.daimi.au.dk

Anders Bach Nielsen, Erik Ernst

claim paper

Read More »

18

WECWIS
2008
IEEE

103views ECommerce» more WECWIS 2008»

Type-Aware Web Service Composition Using Boolean Satisfiability Solver

14 years 3 months ago

Type-Aware Web Service Composition Using Boolean Satisfiability Solver

Download pike.psu.edu

Wonhong Nam, Hyunyoung Kil, Dongwon Lee

claim paper

Read More »

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