Refinement Types in Typed Racket - discu.eu

Linking pages

GitHub - fthomas/refined: Refinement types for Scala https://github.com/fthomas/refined 3 comments
Refinement Types and Dependent Functions Stable in Racket 6.11 https://www.infoq.com/news/2017/11/racket-6-11-dependent-types 0 comments
Dependent types in typed Racket – bor0's blog https://bor0.wordpress.com/2018/02/22/dependent-types-in-typed-racket/ 0 comments

Linked pages

GitHub - greghendershott/frog: Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments. https://github.com/greghendershott/frog 9 comments

Related searches:

Search whole site: site:blog.racket-lang.org

Search title: Refinement Types in Typed Racket

See how to search.

Submit link to: