discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Albatross – A Programming Language with Static Verification
http://albatross-lang.sourceforge.net
7 comments
10/8/2015
Lobsters
Albatross: A programming language with static verification
https://www.gitbook.com/book/hbr/alba-lang-description/details
2 comments
21/10/2016
programming