6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2020★ 6 cited
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…
cs.PL2019
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…