From 727f968afb812c9aba4978749bf618403c58763f Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Thu, 4 Apr 2024 19:26:30 +0200 Subject: [PATCH] add delimited continuations to bib --- quox.bib | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/quox.bib b/quox.bib index f91bee2..c673ea5 100644 --- a/quox.bib +++ b/quox.bib @@ -397,3 +397,18 @@ url = {https://doi.org/10.1145/3591241}, doi = {10.1145/3591241}, } + +@inproceedings{delcont-callcc, + author = {Martin Gasbichler and Michael Sperber}, + editor = {Mitchell Wand and Simon L. Peyton Jones}, + title = {Final shift for \texttt{call/cc}: + direct implementation of shift and reset}, + journaltitle = {Proceedings of the {ACM} on Programming Languages}, + number = {{ICFP}}, + pages = {271--282}, + publisher = {{ACM}}, + year = {2002}, + % url = {https://doi.org/10.1145/581478.581504}, + url = {https://www.cs.tufts.edu/~nr/cs257/archive/mike-sperber/shift-reset-direct.pdf}, + doi = {10.1145/581478.581504}, +}