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