The Logical Approach to Stack Typing (2003)

by Amal Ahmed, David Walker