Further reading

As referenced throughout this chapter, have a look at the following sources to find out more regarding what was covered in this chapter:

• Milner, R., Morris, L., Newey, M. (1975). A Logic for Computable Functions with Reflexive and Polymorphic Types. Proceedings of the Conference on Proving and Improving Programs.

• https://www.research.ed.ac.uk/portal/en/publications/a-logic-for-computable-functions-with-reflexive-and-polymorphic-types(9a69331e-b562-4061-8882-2a89a3c473bb).html

• Curtis, Dorothy (2009-11-06). CLU home page.Programming Methodology Group, Computer Science and Artificial Intelligence Laboratory. Massachusetts Institute of Technology.

• http://www.pmg.csail.mit.edu/CLU.html

• Technical Corrigendum for Ada 2012, published by ISO. Ada Resource Association. 2016-01-29.

• https://www.adaic.org/2016/01/technical-corrigendum-for-ada-2012-published-by-iso/

• B...