research
∙
07/26/2022
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
We report on a one-semester compiler construction course based on the id...
share
research
∙
02/17/2022
Scheduling Complexity of Interleaving Search
miniKanren is a lightweight embedded language for logic and relational p...
research
∙
09/07/2021
An Empirical Study of Partial Deduction for miniKanren
We study conjunctive partial deduction, an advanced specialization techn...
research
∙
06/02/2021
Generic Programming with Combinators and Objects
We present a generic programming framework for OCAML which makes it poss...
research
∙
05/03/2020
Certified Semantics for Relational Programming
We present a formal study of semantics for the relational programming la...
research
∙
05/28/2018