dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-04-28 23:16:32 +01:00
Code Issues Releases Wiki Activity

Compare commits

base: dhil:b47c60fe572f03f55ed663e6162b4ab5d23af092
Branches Tags
dhil:master
..
compare: dhil:111b4cb35a5e2deb3a7923435c9702c50e47b36a
Branches Tags
dhil:master

4 Commits
b47c60fe57 ... 111b4cb35a

Author SHA1 Message Date
Daniel Hillerström
111b4cb35a Update 2021-05-25 14:35:51 +01:00
Daniel Hillerström
6f44524750 WIP 2021-05-25 13:28:10 +01:00
Daniel Hillerström
3438581826 Reword 2021-05-25 13:03:22 +01:00
Daniel Hillerström
650de85238 Effect sugar 2021-05-25 12:59:01 +01:00
3 changed files with 393 additions and 271 deletions
Expand all files Collapse all files

22
macros.tex
View File

@@ -383,16 +383,18 @@
\newcommand{\conf}{\mathcal{C}} \newcommand{\conf}{\mathcal{C}}
% effect sugar % effect sugar
\newcommand{\xcomp}[1]{\sembr{#1}} \newcommand{\inward}[1]{\mathcal{I}\sembr{#1}}
\newcommand{\xval}[1]{\sembr{#1}} \newcommand{\outward}[1]{\mathcal{O}\sembr{#1}}
\newcommand{\xpre}[1]{\sembr{#1}} \newcommand{\xcomp}[1]{\outward{#1}}
\newcommand{\xrow}[1]{\sembr{#1}} \newcommand{\xval}[1]{\outward{#1}}
\newcommand{\xeff}[1]{\sembr{#1}} \newcommand{\xpre}[1]{\outward{#1}}
\newcommand{\pcomp}[1]{\sembr{#1}} \newcommand{\xrow}[1]{\outward{#1}}
\newcommand{\pval}[1]{\sembr{#1}} \newcommand{\xeff}[1]{\outward{#1}}
\newcommand{\ppre}[1]{\sembr{#1}} \newcommand{\pcomp}[1]{\inward{#1}}
\newcommand{\prow}[1]{\sembr{#1}} \newcommand{\pval}[1]{\inward{#1}}
\newcommand{\peff}[1]{\sembr{#1}} \newcommand{\ppre}[1]{\inward{#1}}
\newcommand{\prow}[1]{\inward{#1}}
\newcommand{\peff}[1]{\inward{#1}}
\newcommand{\eamb}{\ensuremath{E_{\mathsf{amb}}}} \newcommand{\eamb}{\ensuremath{E_{\mathsf{amb}}}}
\newcommand{\trval}[1]{\mathcal{T}\sembr{#1}} \newcommand{\trval}[1]{\mathcal{T}\sembr{#1}}

10
thesis.bib
View File

@@ -279,6 +279,16 @@
year = {2020} year = {2020}
} }
@article{HillerstromLL20a,
author = {Daniel Hillerstr{\"{o}}m and
Sam Lindley and
John Longley},
title = {Effects for Efficiency: Asymptotic Speedup with First-Class Control},
journal = {CoRR},
volume = {abs/2007.00605},
year = {2020}
}
@phdthesis{McLaughlin20, @phdthesis{McLaughlin20,
author = {Craig McLaughlin}, author = {Craig McLaughlin},
title = {Relational Reasoning for Effects and Handlers}, title = {Relational Reasoning for Effects and Handlers},

632
thesis.tex
View File

File diff suppressed because it is too large Load Diff