In this episode, we talk to Nada Amin about generative programming and unsound types.
Our Guest, Nada Amin
- Metalinguistic Abstractions
- Splash 2016 talk
- In Search of Lost Time by Marcel Proust
- Generative Programming and Verification
- Strange Loop - Programming Should Eat Itself
- Dependent Object Types
- Martin Odersky
- Russ Tate blog post
SUBSCRIBING TO THE COGNICAST
You can send feedback about the show to email@example.com, or leave a comment here on the blog. Thanks for listening!