InfoQ Homepage Dependent Types Content on InfoQ
News
RSS Feed-
Refinement Types and Dependent Functions Stable in Racket 6.11
Racket 6.11 brings refinement types and dependent function types to its Typed Racket variant.
Facilitating the Spread of Knowledge and Innovation in Professional Software Development
Write for InfoQTopics
Helpful links
QCon London
Discover emerging trends, insights, and real-world best practices in software development & tech leadership. Join now.
InfoQ Dev Summit Boston
Learn how senior software developers are solving the challenges you face. Register now with early bird tickets.
QCon San Francisco
Explore insights, real-world best practices and solutions in software development & leadership. Register now.
The Software Architects' Newsletter
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.