PLDI
1990
ACM
13 years 12 months ago
1990
ACM
Converting decimal scientific notation into binary floating point is nontrivial, but this conversion can be performed with the best possible accuracy without sacrificing efficienc...
PLDI
1990
ACM
13 years 12 months ago
1990
ACM
PLDI
1990
ACM
13 years 12 months ago
1990
ACM
PLDI
1990
ACM
13 years 12 months ago
1990
ACM
POS
1989
Springer
13 years 12 months ago
1989
Springer
ro, D.S. “The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0)”. Universities of St Andrews and Adelaide (1994).
POPL
1989
ACM
13 years 12 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 ...
POPL
1989
ACM
13 years 12 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
1989
ACM
13 years 12 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...
PLDI
1989
ACM
13 years 12 months ago
1989
ACM
PLDI
1989
ACM
13 years 12 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...