Sciweavers

27119 search results - page 36 / 5424
» Languages
Sort
View
105
Voted
ICFP
2001
ACM
16 years 3 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
98
Voted
ESOP
2010
Springer
16 years 29 days ago
A theory of speculative computation
Gérard Boudol, Gustavo Petri
104
Voted
PADL
2010
Springer
16 years 14 days ago
Lazy Combinators for Executable Specifications of General Attribute Grammars
Rahmatullah Hafiz, Richard A. Frost
106
Voted
PADL
2010
Springer
16 years 14 days ago
An Introduction to Maude and Some of Its Applications
Narciso Martí-Oliet