Jump to Content

Dynamic Typing in a Statically-Typed Language

Luca Cardelli
Benjamin C. Pierce
Gordon D. Plotkin
POPL (1989), pp. 213-227

Abstract

Research Areas