Sciweavers

10871 search results - page 43 / 2175
» A stable programming language
Sort
View
ICFP
2001
ACM
16 years 2 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
89
Voted
ESOP
2010
Springer
15 years 11 months ago
A theory of speculative computation
Gérard Boudol, Gustavo Petri