scrambled
scrambled
Concept

Higher order contract

Modified just now
JourneyProgramming Language Theory Statuslearning Tags
  • language-feature-design
  • program analysis
  • runtime
  • semantics
  • type theory

Contracts on values that are themselves functions (or contain functions), presenting unique challenges because the contract cannot be fully checked immediately.

Contracts on values that are themselves functions (or contain functions), presenting unique challenges because the contract cannot be fully checked immediately.