There are lecture series that are good for this. Jumping straight into Pierce or Harper's book is pretty hardcore. For example, 3110 -> 4110 -> 6110. Then you

There are lecture series that are good for this. Jumping straight into Pierce or Harper's book is pretty hardcore. For example, 3110 -> 4110 -> 6110. Then you can just search some compiler courses like CMU's or just follow plai.org. https://cs3110.github.io/textbook/cover.html https://cs3110.github.io/textbook/cover.html https://www.cs.cornell.edu/courses/cs4110/2020fa/ https://www.cs.cornell.edu/courses/cs4110/2020fa/ https://www.cs.cornell.edu/courses/cs6110/2022sp/schedule.html https://www.cs.cornell.edu/courses/cs6110/2022sp/schedule.ht...