Facilitating the spread of knowledge and innovation in professional software development
Contribute
Learn how to apply Microservices and DevSecOps to improve application security & deployment speed. Virtual Event on Oct 19th, 9AM EDT/ 3PM CEST
Turn advice from 64+ world-class professionals into immediate action items. Attend online on Nov 1-12.
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.