Sciweavers

10622 search results - page 120 / 2125
» Python 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