Comparing Control Constructs by Double-barrelled CPS (2002)

by Hayo Thielecke
Venue:Higher-order and Symbolic Computation