Advanced Topics in Types and Programming Languages, edited by Benjamin C. Pierce.
This repository holds canonical or exemplary solutions to problems from ATTAPL. Of course, we have to start somewhere, so I am seeding this repo with my own solutions. As more contributions are received, we'll augment or replace existing solutions as appropriate.