Sciweavers

31686 search results - page 174 / 6338
» Resource typing in Guru
Sort
View
TOCL
2008
78views more  TOCL 2008»
13 years 9 months ago
Contextual modal type theory
Aleksandar Nanevski, Frank Pfenning, Brigitte Pien...
TOPLAS
2008
89views more  TOPLAS 2008»
13 years 9 months ago
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin...
JOT
2007
64views more  JOT 2007»
13 years 9 months ago
Existential Owners for Ownership Types
Tobias Wrigstad, Dave Clarke
JOT
2007
92views more  JOT 2007»
13 years 9 months ago
Just: Safe Unknown Types in Java-like Languages
Giovanni Lagorio, Elena Zucca