Continuation of Lecture 07

Notion of Subtyping

Subtyping for Functions

Subtyping for Assignments and Soundness Idea

Subtyping with Assignments and Generics

Types Expressing Program Properties

Liquid Types Demo

• Lambda Calculi with Types
• A Syntactic Approach to Type Soundness
• Foundations of Software, the EPFL master's level course taught by Prof. Martin Odersky, covers type systems in greater depth
• Types and Programming Languages, Chapter 5, Chapter 8, Sections 9.1–9.3 (pages 89-107)
• Lambda Calculi with Types, pages 34-45
• Principle Type Schemes for Functional Programs

Recall

• Phases of a Compiler
• Compilers in Action

Overview of Compiling to Stack Machine

JVM Instructions

Compiled Expression Examples

Compiled Counting Examples

Compiled Factorial Example

VM for Expressions

Prefix Infix Postfix Notation

Continued in Lecture 09

• JVM Instruction Summary from JVM Spec
• Compiler Construction by Niklaus Wirth
• Pascal Implementation