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.
Learn practical solutions to today's most pressing software challenges. Register now with early bird tickets.
Explore insights, real-world best practices and solutions in software development & leadership. Register now.
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.