Try https://www.cs.tufts.edu/comp/105-2019s/readings/tofte-tips.pdf https://www.cs.tufts.edu/comp/105-2019s/readings/tofte-tips.... and then https://www.cl.cam.

Try https://www.cs.tufts.edu/comp/105-2019s/readings/tofte-tips.pdf https://www.cs.tufts.edu/comp/105-2019s/readings/tofte-tips.... and then https://www.cl.cam.ac.uk/~lp15/MLbook/ https://www.cl.cam.ac.uk/~lp15/MLbook/