I personally hope that I will eventually find the time to read Practical Foundations for Programming Languages by Robert Harper https://www.cs.cmu.edu/~rwh/pfp

I personally hope that I will eventually find the time to read Practical Foundations for Programming Languages by Robert Harper https://www.cs.cmu.edu/~rwh/pfpl/index.html https://www.cs.cmu.edu/~rwh/pfpl/index.html direct link to a preview of the 2nd edition: https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf direct link to an unabridged version of the 1st edition: http://profs.sci.univr.it/~merro/files/harper.pdf http://profs.sci.univr.it/~merro/files/harper.pdf