Inductive Reasoning About Effectful Data Types (2007)

by A Filinski, K Støvring
Venue:Proc., International Conference on Functional Programming