Racket
From MaRDI portal
Software:31821
No author found.
Related Items (8)
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 ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Efficiency of lambda-encodings in total type theory ⋮ Expressing contract monitors as patterns of communication ⋮ Cuboids, a class of clutters ⋮ Blame for all ⋮ The interaction of contracts and laziness
This page was built for software: Racket
