Sciweavers

13752 search results - page 410 / 2751
» Parallel and Distributed Haskells
Sort
View
SPAA
2010
ACM
15 years 7 months ago
Brief announcement: on speculative replication of transactional systems
Paolo Romano, Roberto Palmieri, Francesco Quaglia,...
CONCUR
2010
Springer
15 years 7 months ago
Reversing Higher-Order Pi
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard...