A set of reference documents related to Language Design, Parsers, Type Theory, Category Theory and Compiler Construction in general.

2