Sciweavers

10622 search results - page 114 / 2125
» Python Programming Language
Sort
View
APLAS
2001
ACM
15 years 6 months ago
A Type System for the Push-Enter Model
Kwanghoon Choi, Taisook Han
88
Voted
ESOP
2000
Springer
15 years 6 months ago
Faithful Translations between Polyvariant Flows and Polymorphic Types
Torben Amtoft, Franklyn A. Turbak
97
Voted
ESOP
2000
Springer
15 years 6 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf