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

• 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