Sciweavers

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