From 36551c5dbfa40ea9b77797ae2d85253fc213169a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Wed, 23 Sep 2020 22:26:32 +0100 Subject: [PATCH] Slight rewording --- thesis.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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}.