Andrzej Filinski, Kristian Støvring. Inductive reasoning about effectful data types. In Ralf Hinze, Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. pages 97-110, ACM, 2007. [doi]
Abstract is missing.