Contract

MaRDI QIDQ25591swMATHFDO

Official website https://hackage.haskell.org/package/Contract

Described by source

• Practical typed lazy contracts

Cited in

(7)

• An extended account of contract monitoring strategies as patterns of communication
• BPGen
• PyBlame
• Racket
• TreatJS
• Bottle
• A Debugger-Cooperative Higher-Order Contract System in Python

This page was built for software: Contract