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