Sciweavers

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