Sciweavers

27119 search results - page 144 / 5424
» Languages
Sort
View
97
Voted
PPDP
2000
Springer
15 years 7 months ago
Continuations for parallel logic programming
Eneia Todoran, Nikolaos Papaspyrou
112
Voted
SAIG
2000
Springer
15 years 7 months ago
Reasoning about Staged Computation
Frank Pfenning
111
Voted
COMPASS
1995
15 years 7 months ago
Combining Algebraic and Set-Theoretic Specifications
Claus Hintermeier, Hélène Kirchner, ...
ECOOP
1995
Springer
15 years 7 months ago
On Subtyping and Matching
Martín Abadi, Luca Cardelli
ECOOP
1995
Springer
15 years 7 months ago
Object Imaging
Satish R. Thatte