Sciweavers

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