Full abstraction for functional languages with control (1997)

by J Laird
Venue:In Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science