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

More control operator references.

Browse Source
This commit is contained in:
Daniel Hillerström
2020-10-23 00:43:57 +01:00
parent 36f2035003
commit 8889ecb463
3 changed files with 85 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
thesis.tex
View File

@@ -507,10 +507,20 @@ escape~\cite{Reynolds98a}, Scheme75's catch~\cite{SussmanS75}, callcc
is a procedural variation of catch. It was invented in
1982~\cite{Abelson91}.
Delimited control: Common Lisp resumable exceptions (condition
system)~\cite{Steele90}, prompt/control~\cite{Felleisen88},
shift/reset~\cite{DanvyF90}, catchcont~\cite{LongleyW08}, effect
handlers~\cite{PlotkinP09}.
Delimited control: Control delimiters form the basis for delimited
control. \citeauthor{Felleisen88} introduced control delimiters in
1988, although allusions to control delimiters were made a year
earlier by \citet{FelleisenFDM87} and in \citeauthor{Felleisen87}'s
PhD dissertation~\cite{Felleisen87}. The basic idea was teased even
earlier in \citeauthor{Talcott85}'s teased the idea of control
delimiters in her PhD dissertation~\cite{Talcott85}.
%
Common Lisp resumable exceptions (condition system)~\cite{Steele90},
F~\cite{FelleisenFDM87,Felleisen88}, control/prompt~\cite{SitaramF90},
shift/reset~\cite{DanvyF89,DanvyF90}, fcontrol~\cite{Sitaram93},
catchcont~\cite{LongleyW08}, effect handlers~\cite{PlotkinP09}.
Continuation marks?
Backtracking: Amb~\cite{McCarthy63}.