dhil
/
phd-dissertation
mirror of https://github.com/dhil/phd-dissertation
1
0
Fork 0
Code Issues Releases Wiki Activity
My PhD dissertation at the University of Edinburgh, Scotland https://www.dhil.net/research/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
439 Commits
1 Branch
0 Tags
76 MiB
 
 
 
Tree: c52edb51f6
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c52edb51f6'
${ noResults }
Daniel Hillerström c52edb51f6
Make the latest draft revision available. 		5 years ago
code Update code 5 years ago
pkgs Initial set-up 8 years ago
.gitignore Update the gitignore ruleset. 6 years ago
Makefile Draft compilation 5 years ago
README.md Make the latest draft revision available. 5 years ago
macros.tex Dybvig et al. taxonomy 5 years ago
thesis-draft.pdf Make the latest draft revision available. 5 years ago
thesis.bib Final example 5 years ago
thesis.tex Draft compilation 5 years ago

README.md

Foundations for programming and implementing effect handlers

NOTE I have made a draft copy of the dissertation available in this repository. I ask that you do not link to or distribute the draft anywhere, because I will delete the file once the final revision has been submitted after the viva.

Submitted May 30, 2021. Pending examination.

The board of examiners consists of

  • Andrew Kennedy (Facebook)
  • Edwin Brady (St. Andrews)
  • Ohad Kammar (The University of Edinburgh)
  • Stephen Gilmore (The University of Edinburgh)

Building

To build the dissertation you need the Informatics thesis LaTeX class.