Contract

swMATH13677MaRDI QIDQ25591FDOQ25591

Author name not available (Why is that?)

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