F7: Refinement Types for F# (2012)
F7 is an enhanced type checker for the F# programming language. F7 supports static checking of properties expressed with refinement types. Our motivation is to check various security properties of F#
implementation code by typing.
read full article
| < Prev | Next > |
|---|
Geek Ranch
The Dude Software
The Dude network mapping and monitoring program
Daily Domain News and Information
| Daily Domain Blog is a blog about domain names and domain news. Lists of available domains, expired domains and more. Keep up with the world of domaining, domainers, and how to buy and sell domains. |
