Inductive reasoning about effectful data types (2007)

by Andrzej Filinski, Kristian Støvring
Venue:In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP ’07