28 citations · 34 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020
Sealing Pointer-Based Optimizations Behind Pure Functions
Daniel Selsam, Simon Hudon, Leonardo de Moura
Functional programming languages are particularly well-suited for building automated reasoning systems, since (among other reasons) a logical term is well modeled by an inductive t…
cs.PL2020
Tabled Typeclass Resolution
Daniel Selsam, Sebastian Ullrich, Leonardo de Moura
Typeclasses provide an elegant and effective way of managing ad-hoc polymorphism in both programming languages and interactive proof assistants. However, the increasingly sophistic…