A typed, compositional logic for a stack-based abstract machine (2005)

by Nick Benton
Venue:In Proc. 3rd Asian Symposium on Programming Languages and Systems (APLAS), volume 3780 of Lecture Notes in Computer Science
Citations:22 - 7 self