163
click to vote
POPL
15 years 6 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 ...
130
click to vote
POPL
15 years 6 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
15 years 6 months ago
1989 ACM 
This paper presents an overview of the programming language Modula-3, and a more detailed description of its type system.
|
Programming Languages