4 ms·
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 https://www.cs.cmu.ed
by chas 8y ago
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 https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf