Sciweavers

10585 search results - page 84 / 2117
» The Orc Programming Language
Sort
View
95
Voted
POPL
1996
ACM
15 years 7 months ago
A Modal Analysis of Staged Computation
Rowan Davies, Frank Pfenning
POPL
1996
ACM
15 years 7 months ago
The Reflexive CHAM and the Join-Calculus
Cédric Fournet, Georges Gonthier
POPL
1996
ACM
15 years 7 months ago
Iterated Register Coalescing
Lal George, Andrew W. Appel
104
Voted
POPL
1996
ACM
15 years 7 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon
97
Voted
POPL
1996
ACM
15 years 7 months ago
Pure versus Impure LISP
Nicholas Pippenger