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