4 search results - page 1 / 1 » popl 1989 |
POPL
1989
ACM
13 years 9 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
POPL
1989
ACM
13 years 9 months ago
1989
ACM
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
POPL
2008
ACM
14 years 5 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
POPL
1989
ACM
13 years 9 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...