Sciweavers

10585 search results - page 138 / 2117
» The Orc Programming Language
Sort
View
PLDI
2011
ACM
14 years 6 months ago
Safe optimisations for shared-memory concurrent programs
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
Jaroslav Sevcík
228
Voted

Book
351views
17 years 1 months ago
The Implementation of Functional Programming Languages
A great book about the Implementation of Functional Programming Languages.
Simon Peyton Jones
98
Voted
ICFP
2007
ACM
16 years 3 months ago
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson
88
Voted
ICFP
2003
ACM
16 years 3 months ago
CDuce: an XML-centric general-purpose language
Alain Frisch, Giuseppe Castagna, Véronique ...
174
Voted
POPL
2002
ACM
16 years 3 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof