Cited in
(17)- An extended account of contract monitoring strategies as patterns of communication
- The recursive union of some gradual types
- DrScheme
- Contract
- Pycket
- TreatJS
- gradualizerDynamicSemantics
- TypeScript
- Sage
- mypy
- cuboids-code
- Determining parameters of moon's orbital and rotational motion from LLR observations using GRAIL and IERS-recommended models
- Expressing contract monitors as patterns of communication
- Blame for all
- Efficiency of lambda-encodings in total type theory
- Cuboids, a class of clutters
- The interaction of contracts and laziness
This page was built for software: Racket
