Document Versions

The Logical Approach to Stack Typing –Amal Ahmed, David Walker — 2003
The logical approach to stack typing –Amal Ahmed, David Walker — 2003 — In ACM SIGPLAN Workshop on Types in Language Design and Implementation