Explaining Adas Generics by Edward Fish

This is a Google NotebookLM generated podcast based on Edward Fish paper entitled Explaining Adas Generics. It starts off with an overview of Ada and it's type system.

https://web.archive.org/web/20230930004650/http://edward.fish/wp-content/uploads/2023/07/Explaining-Ada%E2%80%99s-Generics-1.pdf