webyrd/dissertation-single-spaced

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

Source code at GitHub null

{
  "createdAt": "2014-11-05T00:00:40Z",
  "defaultBranch": "master",
  "description": "Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'",
  "fullName": "webyrd/dissertation-single-spaced",
  "homepage": null,
  "language": "TeX",
  "name": "dissertation-single-spaced",
  "pushedAt": "2018-12-30T02:12:07Z",
  "stargazersCount": 59,
  "topics": [],
  "updatedAt": "2025-07-09T15:01:53Z",
  "url": "https://github.com/webyrd/dissertation-single-spaced"
}

A very slightly cleaned up version of my dissertation, which (1) is easier to read and (2) typesets under modern XeLaTeX. The archival version of my dissertation is at https://search.proquest.com/docview/304903505.

This document is released under a Creative Commons Attribution 4.0 International (CC BY 4.0) license (http://creativecommons.org/licenses/by/4.0/)

Relational Programming in miniKanren: Techniques, Applications, and Implementations by William E. Byrd is licensed under a Creative Commons Attribution 4.0 International License.
Based on a work at https://github.com/webyrd/dissertation-single-spaced.

Dissertation file: thesis.pdf

To typeset, just type make (assuming you have a full install of TeX Live, including XeLaTeX).

Changes in this version of the dissertation:

Changed from double-spacing to single-spacing. This changed most of the pagebreaks in the document.
Added/adjusted whitespace and linebreaks, especially around code, to account for single-spacing.
Let figures float when it improved readability. This changed the relative position of the text and figures for form figures.
Removed out-of-date curriculum vitae from end of dissertation. See http://webyrd.net/ for an up-to-date vitae.
Changed \shortrightarrow to \rightarrow to avoid use of St. Mary Rd font, which caused typesetting errors.
Removed hyperlinks, since the hyperref package was causing typesetting errors. I wish I knew how to fix this…

Known errors/typos (uncorrected):

End of Section 1.3: “And our desire for termination prevents us from adapting Curry’s residuation.” ‘adapting’ should read ‘adopting’.