1 paper · 1 filter
Eridan Domoratskiy, Dmitry Boulytchev
We present a miniKanren-based type inferencer for an educational programming language with first-class functions, S-expressions, and pattern-matching. The language itself is untype…