diff options
| author | Eduardo Julian | 2022-06-29 00:34:27 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-29 00:34:27 -0400 |
| commit | 29bbd8a2cd4deb9038f01c16d54ffa937917cfaa (patch) | |
| tree | 54418b3bb4fad71bf10167f7f6dc51771142cd36 /documentation/bookmark/compiler.md | |
| parent | 149515fd173947dcff20558fca077fbd16dc9b6c (diff) | |
Better syntax for getting/setting fields when defining JVM classes.
Diffstat (limited to 'documentation/bookmark/compiler.md')
| -rw-r--r-- | documentation/bookmark/compiler.md | 21 |
1 files changed, 13 insertions, 8 deletions
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) |