Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Liquid Types, static verification: deduction, model checking, type systems
research.microsoft.com
79 points
gtani
14 years ago
14 comments
Loading...
Liquid Types, static verification: deduction, model checking, type systems | Heykuki News