I think Practical Foundations for Programming Languages [0] does a good job on that front.

[0] https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf