There's a Prolog in your Scala!

---

305 views

42.type: Literal-based Singleton types

---

114 views

42: Rise of the dependent types

---

89 views

Presentation

---

161 views