Contracts for higher-order functions (2002)

by R B Findler, M Felleisen
Venue:In International Conference on Functional Programming