Sciweavers

10666 search results - page 126 / 2134
» Quantum programming languages
Sort
View
PLDI
1991
ACM
15 years 5 months ago
Parameterized Partial Evaluation
Charles Consel, Siau-Cheng Khoo
PLDI
1991
ACM
15 years 5 months ago
A Data Locality Optimizing Algorithm
Michael E. Wolf, Monica S. Lam
106
Voted
POPL
1991
ACM
15 years 5 months ago
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
Fritz Henglein, Harry G. Mairson
86
Voted
POPL
1991
ACM
15 years 5 months ago
Modeling Concurrency with Geometry
Vaughan R. Pratt