From 29bbd8a2cd4deb9038f01c16d54ffa937917cfaa Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 29 Jun 2022 00:34:27 -0400 Subject: Better syntax for getting/setting fields when defining JVM classes. --- documentation/bookmark/compiler.md | 21 +++++++++++++-------- 1 file changed, 13 insertions(+), 8 deletions(-) (limited to 'documentation/bookmark/compiler.md') diff --git a/documentation/bookmark/compiler.md b/documentation/bookmark/compiler.md index ea86dca98..8243c5d1c 100644 --- a/documentation/bookmark/compiler.md +++ b/documentation/bookmark/compiler.md @@ -1,17 +1,22 @@ # 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) -1. [Miniphases: Compilation using Modular and Efficient Tree Transformations](https://infoscience.epfl.ch/record/228518/files/paper.pdf) +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 -1. [A Brief Tour of Formally Secure Compilation](http://ceur-ws.org/Vol-2315/paper03.pdf) +0. [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/) +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) -- cgit v1.2.3