2 papers
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…
cs.PL2019
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Sebastian Ullrich, Leonardo de Moura
Most functional languages rely on some garbage collection for automatic memory management. They usually eschew reference counting in favor of a tracing garbage collector, which has…