Article 6NQJ1 Deriving Dependently-Typed OOP from First Principles

Deriving Dependently-Typed OOP from First Principles

by
from Hacker News on (#6NQJ1)
Comments
External Content
Source RSS or Atom Feed
Feed Location https://news.ycombinator.com/rss
Feed Title Hacker News
Feed Link https://news.ycombinator.com/
Reply 0 comments