Original language | English |
---|---|
Publication status | Published - 1 Jan 2001 |
Comparing control constructs by double-barrelled CPS transforms. In Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS17), ENTCS, Elsevier Science 2001
Hayo Thielecke
Research output: Contribution to conference (unpublished) › Paper