Sciweavers

10871 search results - page 43 / 2175
» A stable programming language
Sort
View
96
Voted
ICFP
2001
ACM
16 years 2 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
ESOP
2010
Springer
15 years 12 months ago
A theory of speculative computation
Gérard Boudol, Gustavo Petri
96
Voted
PADL
2010
Springer
15 years 11 months ago
Lazy Combinators for Executable Specifications of General Attribute Grammars
Rahmatullah Hafiz, Richard A. Frost
97
Voted
PADL
2010
Springer
15 years 11 months ago
An Introduction to Maude and Some of Its Applications
Narciso Martí-Oliet