Dynamic typing in a statically typed language
Abadi, Martin; Cardelli, Luca; Pierce, Benjamin C.; Plotkin, Gordon D.
SRC-RR-47 June 10, 1989 External
Keyword(s): Programming languages-(Electronic computers)-Semantics; Abstract data types-(Computer science);
35 Pages
Back to Index