Inductive Reasoning About Effectful Data Types (2007)

Cached

Download Links

by Andrzej Filinski
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming
Citations:4 - 1 self