Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQDiscover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.
Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.
Explore insights, real-world best practices and solutions in software development & leadership. Register now.
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.
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.