On Ada's Dependent Types, and its Types as a Whole - discu.eu

Hacker News

Ada's dependent types, and its types as a whole https://nytpu.com/gemlog/2024-12-27 139 comments 28/12/2024

Lobsters

On Ada's Dependent Types, and its Types as a Whole https://nytpu.com/gemlog/2024-12-27 7 comments 28/12/2024 plt , programming

Linked pages

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:nytpu.com

Search title: On Ada's Dependent Types, and its Types as a Whole

See how to search.

Submit link to: