2002, ‘Comparing Control Constructs by Double-barrelled CPS (0)

by H Thielecke
Venue:Higher-order and Symbolic Computation