First-Class Types, Syntactically (2024)

 (blog.xoria.org)

4 points | by surprisetalk 5 days ago ago

No comments yet.