Inproceedings,

Contracts for higher-order functions.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews