X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FFuture.tex;fp=Chapters%2FFuture.tex;h=9c7bb51ec5cdfe2b1444d2d9aed1f182b942a1df;hp=d395586754892afbfc0539fb2da846a6975a2bd5;hb=4d9ba321f31cba9a30b56b4fe49df2fbf2a59d96;hpb=20f8ee52acfd3d575597314460dd4f6221a1fa6b diff --git a/Chapters/Future.tex b/Chapters/Future.tex index d395586..9c7bb51 100644 --- a/Chapters/Future.tex +++ b/Chapters/Future.tex @@ -587,7 +587,7 @@ higher-order value at the spot where it is applied, and thus the higher-order value disappears. This approach is commonly known as the \quote{Reynolds approach to -defuntionalization}, first described by J.C. Reynolds \cite[reynolds98] and +defuntionalization}, first described by J.C. Reynolds \cite[reynolds98]\ and seems to apply well to this situation. One note here is that Reynolds' approach puts all the higher-order values in a single datatype. For a typed language, we will at least have to have a single datatype for each function