Generic Trace Semantics and Graded Monads.

Stefan Milius, Dirk Pattinson, Lutz Schrder

Browse the full CALCO paper archive.