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 InfoQLearn 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.
Learn how leading engineering teams run AI in production-reliably, securely, and at scale. Register now.
Understand emerging trends like advanced AI/ML integration, FinOps, modern security practices & team leadership. Join now.
InfoQ Homepage Type Theory Content on InfoQ
Chris Ford explores what makes music correct and how we might encode it in a type system.