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
100
Voted
ICFP
2010
ACM
15 years 3 months ago
Abstracting abstract machines
David Van Horn, Matthew Might
94
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
96
Voted
HASKELL
2008
ACM
15 years 3 months ago
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime
Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink