Sciweavers

7 search results - page 2 / 2
» Subtyping Functional Nonempty Record Types
Sort
View
ESOP
2005
Springer
13 years 10 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
ECOOP
1999
Springer
13 years 9 months ago
Foundations for Virtual Types
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
Atsushi Igarashi, Benjamin C. Pierce