Sciweavers

32 search results - page 1 / 7
» esop 2010
Sort
View
ESOP
2010
Springer
14 years 29 days ago
A theory of speculative computation
Gérard Boudol, Gustavo Petri
ESOP
2010
Springer
14 years 29 days ago
Functional Programming in Sublinear Space
Ugo Dal Lago, Ulrich Schöpp
ESOP
2010
Springer
14 years 29 days ago
A PolyTime Functional Language from Light Linear Logic
Patrick Baillot, Marco Gaboardi and Virgile Mogbil
ESOP
2010
Springer
14 years 29 days ago
Logical Concurrency Control From Sequential Proofs
G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...