dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 11:08:25 +00:00
Code Issues Releases Wiki Activity

Slight rewording

Browse Source
This commit is contained in:
Daniel Hillerström
2020-09-23 22:26:32 +01:00
parent 41c96b56a1
commit 36551c5dbf
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
thesis.tex
View File

@@ -906,10 +906,10 @@ implementation is \emph{properly tail-recursive}, which provides
strict guarantees on the asymptotic space consumption of tail strict guarantees on the asymptotic space consumption of tail
calls~\cite{Clinger98}. calls~\cite{Clinger98}.
Tail calls will become important in Chapter~\ref{ch:cps} when I will Tail calls will become important in Chapter~\ref{ch:cps} where we will
discuss continuation passing style as an implementation technique for get to discuss continuation passing style as an implementation
effect handlers, as tail calls are ubiquitous in continuation passing technique for effect handlers, as tail calls are ubiquitous in
style. continuation passing style.
% %
Therefore let us formally characterise tail calls by adapting a Therefore let us formally characterise tail calls by adapting a
syntactic characterisation due to \citet{Clinger98}. syntactic characterisation due to \citet{Clinger98}.