Category Theory in Programming#racket#category-theory·docs.racket-lang.org·Dec 2, 2024Category Theory in Programming
Down and Dirty with Semantic Set-theoretic Types (a tutorial) v0.4#research#semantic_subtyping#racket·pnwamk.github.io·Sep 12, 2023Down and Dirty with Semantic Set-theoretic Types (a tutorial) v0.4