насчёт TAPL -- упражнения там на любителя. Или на студента, изучающего курс.
Если нужно где-то прикрутить типизацию -- можно обратиться к книге, прочитать нужное, опционально порешать нужное, затем и делать.
Если "для общего развития" -- можно и забить на упражнения, просто читать и вникать. Дилетантский и поверхностный взгляд, но мне нравится, тем более, в наши времена не модно заучивать то, что пригождается реже, чем несколько раз в день: всегда можно почитать манул.
Если же хочется именно "понять глубиной души", это другой вопрос (подозреваю, что в посте именно он), и там уже нужно достигать требуемого уровня понимания. Как -- никто не советчик. Я бы отталкивался от реальных нужд, заставляющих смотреть на TAPL. Может и упражнения.
Кстати, мне сейчас близко кое-что, находящееся рядом с TAPL -- а именно, доказательства (в моём случае -- с помощью coq). И многое в TAPL основывается на утверждениях и доказательствах, вспомним хотя бы "невыносимо непонятный контекст типизации Г". Поковырять их в coq -- забавное занятие, если область близка.