blob: 8243c5d1c27c77acd901c59bc716e3248be08832 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Methodology
0. [Nada Amin's keynote "Staged Relational Interpreters: Running Backwards, Faster"](https://www.twitch.tv/videos/1011771746)
0. [Scope herding with delimited continuations](https://blog.moertel.com/posts/2005-09-13-scope-herding-with-delimited-continuations.html)
0. [Compiling with Continuations by Andrew W. Appel](https://www.amazon.com/dp/0521416957)
0. [Collapsing Towers of Interpreters](https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf)
0. [Miniphases: Compilation using Modular and Efficient Tree Transformations](https://infoscience.epfl.ch/record/228518/files/paper.pdf)
# Security
0. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)
# Framework
0. [The GENTLE Compiler Construction System](http://gentle.compilertools.net/index.html)
0. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)
# Reference
0. []()
0. [Monadic Compiler Calculation](https://www.cs.nott.ac.uk/~pszgmh/ccc3.pdf)
|
