Sciweavers

27354 search results - page 388 / 5471
» Distributed And Parallel Computing
Sort
View
CONCUR
2010
Springer
15 years 7 months ago
Reversing Higher-Order Pi
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard...