“…Monadic normal forms offer the main advantages of CPS (i.e., all intermediate results are named and their computation is sequentialized), 1 and they have been used in compilers for functional languages [7,6,21,22,23,38,40,46]. Therefore, a one-pass transformation into monadic normal form with short-cut boolean evaluation could well be of practical use (i.e., outside academia).…”