🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

In this other OOPSLA '22 paper, we demonstrate that the Dependent Object Type calculus (DOT) with a `case` construct can generalize GADT-style reasoning, basing it on subtyping instead of type equality. This formally justifies Scala 3's implementation! arxiv.org/abs/2209.07427

Manifold v2.0 is out! So much has happened in the last 8 months, thanks to everyone who contributed! Release notes: github.com/elalish/manifo…

#NewBossesInMinecraft