Sciweavers

10666 search results - page 89 / 2134
» Quantum programming languages
Sort
View
126
Voted
POPL
1996
ACM
15 years 6 months ago
The Reflexive CHAM and the Join-Calculus
Cédric Fournet, Georges Gonthier
120
Voted
POPL
1996
ACM
15 years 6 months ago
Iterated Register Coalescing
Lal George, Andrew W. Appel
93
Voted
POPL
1996
ACM
15 years 6 months ago
Faster Checking of Software Specifications by Eliminating Isomorphs
Daniel Jackson, Somesh Jha, Craig Damon
87
Voted
POPL
1996
ACM
15 years 6 months ago
Pure versus Impure LISP
Nicholas Pippenger
84
Voted
POPL
1996
ACM
15 years 6 months ago
Points-to Analysis in Almost Linear Time
Bjarne Steensgaard