Contracts for higher-order functions

@inproceedings{Findler2002ContractsFH,
  title={Contracts for higher-order functions},
  author={Robert Bruce Findler and Matthias Felleisen},
  booktitle={ICFP},
  year={2002}
}
Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the 1970s. Eiffel, an object-oriented programming language, wholeheartedly adopted assertions and developed the "Design by Contract" philosophy. Indeed, the entire object-oriented community recognizes the value of assertion-based contracts on methods. In contrast, languages with higher-order functions do not support assertion-based contracts. Because predicates on… CONTINUE READING