The logical approach to stack typing (2003)

by Amal Ahmed, David Walker
Venue:In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI