Checkpoint 2025-01-26 Had I Had Time 2023-06-29 Conceptual Introduction 2023-04-03 Compile Time Correctness: Type State 2023-02-17 Automation Maturity Levels 2023-02-01 The Need For A New Framework 2023-01-25