Cited in
(13)- LMS-Verify: abstraction without regret for verified systems programming
- Session-typed concurrent contracts
- An extended account of contract monitoring strategies as patterns of communication
- OptiML
- Contract
- BPGen
- PyBlame
- Racket
- Stardust
- Bottle
- Sage
- Blame assignment for higher-order contracts with intersection and union
- A Debugger-Cooperative Higher-Order Contract System in Python
This page was built for software: TreatJS
