Person. Paul Blain Levy Papers Call-By-Push-Value: A Functional/Imperative Synthesis levy-2003-callbypushvalueSemantic Structures in Computation · 2003 DOI