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 InfoQInfoQ Homepage Dependent Types Content on InfoQ
Racket 6.11 brings refinement types and dependent function types to its Typed Racket variant.