First-Class Types, Syntactically (2024)

(blog.xoria.org)

3 points | by surprisetalk 5 hours ago ago

No comments yet.