Lobsters
- Albatross: A programming language with static verification https://www.gitbook.com/book/hbr/alba-lang-description/details 2 comments programming
- Albatross - A programming language with static verfication https://www.gitbook.com/book/hbr/alba-lang-description/details 19 comments compsci
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:gitbook.com
Search title: GitBook - Where technical teams document.
See how to search.