Sciweavers

10585 search results - page 127 / 2117
» The Orc Programming Language
Sort
View
ESOP
2008
Springer
13 years 10 months ago
Full Abstraction for Linda
Cinzia Di Giusto, Maurizio Gabbrielli
ICFP
2010
ACM
13 years 10 months ago
Abstracting abstract machines
David Van Horn, Matthew Might
HASKELL
2008
ACM
13 years 10 months ago
Haskell session types with (almost) no class
Riccardo Pucella, Jesse A. Tov
HASKELL
2008
ACM
13 years 10 months ago
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
Colin Runciman, Matthew Naylor, Fredrik Lindblad