Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Introducing F*: Secure Distributed Programming with Value-Dependent Types
research.microsoft.com
51 points
buro9
15 years ago
12 comments
Loading...
Introducing F*: Secure Distributed Programming with Value-Dependent Types | Heykuki News