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

by Dorai Sitaram , Matthias Felleisen
Citations:32 - 4 self