Skip to content

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

Notifications You must be signed in to change notification settings

webyrd/dissertation-single-spaced

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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/)

Creative Commons License
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'.

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published