research
∙
12/21/2020
Universal Policies for Software-Defined MDPs
We introduce a new programming paradigm called oracle-guided decision pr...
share
research
∙
03/03/2020
Sealing Pointer-Based Optimizations Behind Pure Functions
Functional programming languages are particularly well-suited for buildi...
research
∙
01/28/2020
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
In interactive theorem provers (ITPs), extensible syntax is not only cru...
research
∙
01/13/2020
Tabled Typeclass Resolution
Typeclasses provide an elegant and effective way of managing ad-hoc poly...
research
∙
08/15/2019
Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming
Most functional languages rely on some garbage collection for automatic ...
research
∙
02/11/2018