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 InfoQDiscover new ideas and insights from senior practitioners driving change in software. Attend in-person.
Discover transformative insights to level up your software development decisions. Register now with early bird tickets.
Get practical advice from senior developers to navigate your current dev challenges. Register now with early bird tickets.
Level up your software skills by uncovering the emerging trends you should focus on. Register now.
InfoQ Homepage Dependent Types Content on InfoQ
Racket 6.11 brings refinement types and dependent function types to its Typed Racket variant.