Reasoning with Continuations II: Full Abstraction for Models of Control -- Two Corrections (1992)

by Dorai Sitaram , Matthias Felleisen
Citations:31 - 3 self