From 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 15 Jul 2021 00:45:15 -0400
Subject: Re-named "spec" hierarchy to "specification".

---
 documentation/bookmark/compiler.md | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'documentation/bookmark/compiler.md')

diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md
index 326bfff9b..5d582a174 100644
--- a/documentation/bookmark/compiler.md
+++ b/documentation/bookmark/compiler.md
@@ -1,8 +1,14 @@
+# Methodology
+
+1. [Collapsing Towers of Interpreters](https://www.cs.purdue.edu/homes/rompf/papers/amin-popl18.pdf)
+1. [Miniphases: Compilation using Modular and Efficient Tree Transformations](https://infoscience.epfl.ch/record/228518/files/paper.pdf)
+
 # Security
 
 1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf)
 
 # Framework
 
+1. [The GENTLE Compiler Construction System](http://gentle.compilertools.net/index.html)
 1. [Nanopass Framework: Clean Compiler Creation Language](http://nanopass.org/)
 
-- 
cgit v1.2.3