Sciweavers

31686 search results - page 183 / 6338
» Resource typing in Guru
Sort
View
OOPSLA
2010
Springer
15 years 3 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
TOPLAS
2010
76views more  TOPLAS 2010»
15 years 3 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard