2 ms·

Doesn't "Types and Programming Language" by B. Pierce fits this description? I did not read LiSP, though.