First-Class Types, Syntactically (2024)

(blog.xoria.org)

4 points | by surprisetalk a day ago

No comments yet.