Viktor Dukhovni

Events

• David Overton on The Mercury Programming Language 2025-11-20
• Robert Smart: Functional types in a property-based hierarchy 2025-09-18