webyrd/dissertation-single-spaced

Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

语言：TeX · GitHub 星标：65 · Fork：6

在 GitHub 上查看原仓库