The logical approach to stack typing (2003)

by A Ahmed, D Walker
Venue:In ACM SIGPLAN Workshop on Types in Language Design and Implementation