Deriving Dependently-Typed OOP from First Principles (arxiv.org)
from bot@lemmy.smeargle.fans to hackernews@lemmy.smeargle.fans on 24 Jun 2024 09:32
https://lemmy.smeargle.fans/post/187427

HN Discussion

#hackernews

threaded - newest