N
Hacker Next
new
show
ask
jobs
submit
login
Deriving Dependently-Typed OOP from First Principles
arxiv.org
172 points by
matt_d
5 days ago
|
18 comments
add comment