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 San Francisco
Learn what's next in software from world-class leaders pushing the boundaries. Attend in-person or get video-only pass to recordings.
QCon London
Discover new ideas and insights from senior practitioners driving change in software. Attend in-person.
The Software Architects' Newsletter
Your monthly guide to all the topics, technologies and techniques that every professional needs to know about. Subscribe for free.