HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
Deriving Dependently-Typed OOP from First Principles | Heykuki News
Deriving Dependently-Typed OOP from First Principles
arxiv.org
172 points
matt_d
2 years ago
18 comments
Threaded
Loading comments...