research
∙
01/28/2020
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
In interactive theorem provers (ITPs), extensible syntax is not only cru...
share
research
∙
01/13/2020
Tabled Typeclass Resolution
Typeclasses provide an elegant and effective way of managing ad-hoc poly...
research
∙
08/15/2019
