Sciweavers

10575 search results - page 71 / 2115
» T2Script Programming Language
Sort
View
POPL
1996
ACM
15 years 8 months ago
The Reflexive CHAM and the Join-Calculus
Cédric Fournet, Georges Gonthier
POPL
1996
ACM
15 years 8 months ago
Iterated Register Coalescing
Lal George, Andrew W. Appel
108
Voted
POPL
1996
ACM
15 years 8 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon
POPL
1996
ACM
15 years 8 months ago
Pure versus Impure LISP
Nicholas Pippenger