Search Sciweavers | Sciweavers

31686 search results - page 174 / 6338

» Resource typing in Guru

click to vote

TOCHI
2008

40views more TOCHI 2008»

Queuing Network Modeling of Transcription Typing

15 years 4 months ago

Download www-personal.umich.edu

Changxu Wu, Yili Liu

claim paper

Read More »

110

click to vote

TOCL
2008

78views more TOCL 2008»

Contextual modal type theory

15 years 4 months ago

Download www.cs.cmu.edu

Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...

claim paper

Read More »

120

click to vote

TOPLAS
2008

89views more TOPLAS 2008»

Types for atomicity: Static checking and inference for Java

15 years 4 months ago

Download slang.soe.ucsc.edu

Cormac Flanagan, Stephen N. Freund, Marina Lifshin...

claim paper

Read More »

click to vote

JOT
2007

64views more JOT 2007»

Existential Owners for Ownership Types

15 years 4 months ago

Download www.jot.fm

Tobias Wrigstad, Dave Clarke

claim paper

Read More »

click to vote

JOT
2007

92views more JOT 2007»

Just: Safe Unknown Types in Java-like Languages

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers