Inductive Reasoning About Effectful Data Types (2007)

View PDF

Download Links

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