6 citations · 6 across the 2 of their papers we have counts for
3 papers · 1 filter
Resolution as Intersection Subtyping via Modus Ponens
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira +1
Resolution and subtyping are two common mechanisms in programming languages. Resolution is used by features such as type classes or Scala-style implicits to synthesize values autom…
Explicit Effect Subtyping
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh +2
As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtypin…
Bidirectional Type Class Instances (Extended Version)
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg +1
GADTs were introduced in Haskell's eco-system more than a decade ago, but their interaction with several mainstream features such as type classes and functional dependencies has a…