@dblp

Contracts for higher-order functions.

, and . ICFP, page 48-59. ACM, (2002)SIGPLAN Notices 37(9), September 2002.

Links and resources

Tags