William E. Byrd
William E. Byrd
anti-unification
Functional implementation of anti-unification algorithm for multiple terms
dissertation-single-spaced
Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
alphaKanren
Nominal logic programming extensions to miniKanren, based on alphaProlog.
faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.