InfoQ Homepage Type Theory Content on InfoQ
Articles
RSS Feed-
It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness
Chris Ford explores what makes music correct and how we might encode it in a type system.
Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQFind real-world practical inspiration from the world’s most innovative software leaders. Attend in-person or online.
Learn what's next in software from world-class leaders pushing the boundaries. Attend in-person or online.
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
Chris Ford explores what makes music correct and how we might encode it in a type system.