Michael Perruca - Constraint Typing with Boolean Algebra | Scala Days 2023 Seattle | Scala Days Conferences | Podwise