aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark')
-rw-r--r--documentation/bookmark/compiler.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md
index 6cb381190..ea86dca98 100644
--- a/documentation/bookmark/compiler.md
+++ b/documentation/bookmark/compiler.md
@@ -1,5 +1,6 @@
# Methodology
+1. [Nada Amin's keynote "Staged Relational Interpreters: Running Backwards, Faster"](https://www.twitch.tv/videos/1011771746)
1. [Scope herding with delimited continuations](https://blog.moertel.com/posts/2005-09-13-scope-herding-with-delimited-continuations.html)
1. [Compiling with Continuations by Andrew W. Appel](https://www.amazon.com/dp/0521416957)
1. [Collapsing Towers of Interpreters](https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf)