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. Stroustrup, C++. (https://dl.acm.org/doi/10.5555/1074100.1074189)
- S. Meyers. Effective...