Zoran Skoda compiler

• cslinks, virtual machine, Cardano
• Donald E. Knuth, Semantics of context-free languages, Math. Systems Theory 2:2, pdf
• LLVM
• gcc.gnu.org/wiki/ListOfCompilerBooks
• Niklaus Wirth, Compiler construction, 2005 pdf
• A.Aho, R.Seti, J.Ullman, Compilers: principles, techniques, and tools, Addison Wesley, 2002
• F.Nielson, H-R.Nielson, Semantics with applications. A formal introduction.,
• G.Hutton, E.Meijer, Monadic parser combinators pdf
• x86&amd64 instr
• yandex 2018 course
• tvm.ai
• Daniele Turi, Functorial operational semantics and its denotational dual, PhD thesis, Amsterdam 1996 abs ps.gz