Inductive reasoning about effectful data types.

Andrzej Filinski, Kristian Stvring

Browse the full ICFP paper archive.