228
Voted
POPL
15 years 10 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 ...
178
Voted
POPL
15 years 10 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...
132
click to vote
POPL
15 years 10 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