Down and Dirty with Semantic Set-theoretic Types (a tutorial) v0.4

#raindrop #links

Metadata

Source URL:: https://pnwamk.github.io/sst-tutorial/
Topics:: #research, #semantic_subtyping, #racket

Highlights