Jump to Content

Dynamic Typing in a Statically Typed Language

Luca Cardelli
Benjamin C. Pierce
Gordon D. Plotkin
ACM Trans. Program. Lang. Syst., vol. 13 (1991), pp. 237-268

Abstract

Research Areas