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