Can I read Type Checking on EtoBox?

Type Checking by Prof Tejal Upadhyay is a document available to read on EtoBox.

What is Type Checking about?

The document outlines announcements regarding programming assignments and a midterm exam, along with a review of static type checking in Decaf programming. It discusses the processes of type inference and confirmation, as well as the rules for checking well-formedness in statements and expressions. Additionally, it highlights practical concerns and examples of type-checking errors in code.

Author

Prof Tejal Upadhyay

Language

EN