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

Fix typo

Browse Source
This commit is contained in:
Daniel Hillerström
2020-07-16 01:30:14 +01:00
parent 566e5840d2
commit c50ca96e56
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
thesis.tex
View File

@@ -1898,7 +1898,7 @@ notation that makes every facet of control flow and data flow
explicit. In CPS every function takes an additional function-argument explicit. In CPS every function takes an additional function-argument
called the \emph{continuation}, which represents the next computation called the \emph{continuation}, which represents the next computation
in evaluation position. CPS is canonical in the sense that is in evaluation position. CPS is canonical in the sense that is
definable in pure $\lambda$-calculus with any primitives. As an definable in pure $\lambda$-calculus without any primitives. As an
informal illustration of CPS consider the rudimentary factorial informal illustration of CPS consider the rudimentary factorial
function in \emph{direct-style}: function in \emph{direct-style}:
% %