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