Racket
From MaRDI portal
Software:31821
swMATH19998MaRDI QIDQ31821FDOQ31821
Author name not available (Why is that?)
Cited In (8)
- An extended account of contract monitoring strategies as patterns of communication
- 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
- 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
