Introduction to Compiler Design by Torben Ægidius Mogensen

Author:Torben Ægidius Mogensen
Language: eng
Format: epub, pdf
Publisher: Springer International Publishing, Cham

5.8 Further Reading

Overloading of operators and functions is described in Sect. 6.5 of [1]. Section 6.​7 of same describes how polymorphism can be handled.

Some theory and a more detailed algorithm for inferring types in a language with implicit types and polymorphism can be found in [2]. Types in general are covered in detail by [3].

5.9 Exercises

Exercise 5.1

We extend the language from Sect. 4.​2 with Boolean operators as described in Exercise 4.​1.

Extend the type-check function in Fig. 5.2 to handle these new constructions as described above.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.