Skip to Content
🇫🇷 🇪🇺 Looking for experienced guidance on Lean software delivery? We'd be glad to explore how we can work together. Contact →
Advanced Software EngineeringType StructuresIntroduction

Type Structures

Type algebra, ADTs and total functions: the foundations of an expressive type system.

Last updated on
Code and Data: A Fundamental DualityType Algebra: Products and Sums