Comparing Control Constructs by Typing Double-barrelled CPS Transforms (2001)

by Hayo Thielecke
Venue:CW'01
Citations:7 - 2 self