Sciweavers

31686 search results - page 183 / 6338
» Resource typing in Guru
Sort
View
87
Voted
OOPSLA
2010
Springer
14 years 11 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
68
Voted
TOPLAS
2010
76views more  TOPLAS 2010»
14 years 11 months ago
Typing linear constraints
Salvatore Ruggieri, Fred Mesnard
94
Voted
CASC
2010
Springer
149views Mathematics» more  CASC 2010»
14 years 11 months ago
Generic, Type-Safe and Object Oriented Computer Algebra Software
Heinz Kredel, Raphael Jolly