Sciweavers

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