Untyped and typed arithmetic expressions

17 Setembro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Simple properties (proofs by induction)
• Multistep evaluation
• Typed arithmetic expressions
• Implementation of simple types

---

Course overview & untyped arithmetic expressions

10 Setembro 2025, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Syllabus, including objectives, bibliography, effort required to complete the course, and grading
• Overview of the major topics covered in the course
• Untyped arithmetic expressions
• Implementation of arithmetic expressions

---

Course overview & untyped arithmetic expressions

10 Setembro 2025, 13:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Syllabus, including objectives, bibliography, effort required to complete the course, and grading
• Overview of the major topics covered in the course
• Untyped arithmetic expressions
• Implementation of arithmetic expressions

---