Comparing Control Constructs by Double-Barrelled CPS (0)

by H Thielecke
Venue:Higher-Order and Symbolic Computation