Bibliography

Table of conents

1. Implementation
2. Semantics
3. Type systems
4. Security

Implementation

• Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes: "The Implementation of Lua 5.0".
• Theodore Norvell: "Parsing Expressions by Recursive Descent". (1999).
• Douglas Crockford: "Top Down Operator Precedence". (2007-02-21).
• Russell Johnston: "Writing a recursive ascent parser by hand". (2018-04-08).

Semantics

• Aviral Goel, Jan Vitek: "On the Design, Implementation, and Use of Laziness in R". Proc. ACM Program. Lang. 3, OOPSLA, Article 153 (2019-10). DOI:10.1145/3360579.

Type systems

• Benjamin C. Pierce: "Types and Programming Languages". The MIT Press, 2002.
• Stephen Dolan: "Algebraic Subtyping". University of Cambridge, 2016.
• Bartosz Milewski: "Category Theory for Programmers".
• Peter Pepper, Petra Hofstedt: "Funktionale Programmierung: Sprachdesign und Programmiertechnik". Springer-Verlag, Berlin 2006.
• Eli Bendersky: "Type inference".

Security

• Ross J. Anderson: "Security Engineering". Wiley, 2001, 3. ed. 2020.