Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Contribute
Learn how cloud architectures achieve cost savings, improve reliability & deliver value. Register Now.
Learn how to migrate an application to serverless and what are the common mistakes to avoid. Register Now.
Understand the emerging software trends you should pay attention to. Attend in-person on Oct 24-28, 2022.
InfoQ Homepage Type Theory Content on InfoQ
/articles/type-systems-verifying-musical-correctness/en/smallimage/logo-1561528822846.jpg){kind=logo}
Chris Ford explores what makes music correct and how we might encode it in a type system.