Last active
September 28, 2022 13:17
-
-
Save mheinzel/fbd7553a7385273e4a71be95e0529581 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # read | |
| - generic universe of syntax | |
| - Type-directed (optimising) compilation https://dl.acm.org/doi/10.1145/249069.231414 | |
| - co-effect systems https://www.doc.ic.ac.uk/~dorchard/publ/coeffects-icfp14.pdf | |
| - (ornamentation) | |
| - (co-de-Bruijn indices) | |
| - find more optimisations | |
| - Jacco | |
| - GHC | |
| - MAPA/Nielsen | |
| # admin | |
| - register thesis | |
| # impl | |
| - finish lambda calculus | |
| - moving bindings | |
| - CSE, ideas: | |
| - pull out expression into binding | |
| - merge identical bindings |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment