• Algebraic Data Types
• Jame’s Iry’s jADT generator for Java
• Partial Functions vs Total Functions
• Events, Services, and Static Methods