Bibliografia
Principal
- Types and Programming Languages: Benjamin Pierce 2002
- Advanced Topics in Types and Programming Languages: Benjamin Pierce, editor 2005
- The Rust Programming Language: Steve Klabnik and Carol Nichols, with contributions from the Rust Community 2024