Shortcut fusion rules for the derivation of circular and higher-order monadic programs.

Alberto Pardo, Joo Paulo Fernandes, Joo Saraiva

Browse the full PEPM paper archive.