Sciweavers

10585 search results - page 117 / 2117
» The Orc Programming Language
Sort
View
SAIG
2000
Springer
15 years 6 months ago
Reasoning about Staged Computation
Frank Pfenning
COMPASS
1995
15 years 6 months ago
Combining Algebraic and Set-Theoretic Specifications
Claus Hintermeier, Hélène Kirchner, ...
ECOOP
1995
Springer
15 years 6 months ago
On Subtyping and Matching
Martín Abadi, Luca Cardelli
ECOOP
1995
Springer
15 years 6 months ago
Object Imaging
Satish R. Thatte
ICALP
1995
Springer
15 years 6 months ago
Polynomial Closure and Unambiguous Product
Jean-Eric Pin, Pascal Weil