Call-By-Push-Value: A Subsuming Paradigm (1999)

by Paul Blain Levy
Venue:in Proc. TLCA ’99