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