Full abstraction for functional languages with control (1997)

by J Laird
Venue:In Logic in Computer Science