Reasoning about Continuations with Control E ects (1989)

by P Jouvelot, Gi ord, D K
Venue:ACM PLDI'89, Portland, (Juin