Partial Continuations as the Difference of Continuations A Duumvirate of Control Operators (1994)

by Luc Moreau , Christian Queinnec
Venue:In Proc. PLILP, LNCS 844
Citations:19 - 2 self