A arxiv.org Deriving Dependently-Typed OOP from First Principles 172 points matt_d 2 years ago 18 comments
