10 citations · 10 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Seeking Stability by being Lazy and Shallow
Gert-Jan Bottu, Richard A. Eisenberg
Designing a language feature often requires a choice between several, similarly expressive possibilities. Given that user studies are generally impractical, we propose using stabil…
cs.PL2019★ 10 cited
Coherence of Type Class Resolution
Gert-Jan Bottu, Ningning Xie, Koar Marntirosian +1
Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted c…