Racket
From MaRDI portal
swMATH19998MaRDI QIDQ31821FDOQ31821
Author name not available (Why is that?)
Official website: http://racket-lang.org/tr1/
Cited In (16)
- An extended account of contract monitoring strategies as patterns of communication
- The recursive union of some gradual types
- Contract
- Determining parameters of moon's orbital and rotational motion from LLR observations using GRAIL and IERS-recommended models
- Pycket
- TreatJS
- gradualizerDynamicSemantics
- TypeScript
- Sage
- mypy
- cuboids-code
- 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
