Audio is streamed directly from the publisher (s3.amazonaws.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
In this episode, we talk to Nada Amin about generative programming and unsound types.
Our Guest, Nada Amin
Topics
- 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
The show is available on iTunes! You can also subscribe to the podcast using our podcast feed.
You can send feedback about the show to [email protected], or leave a comment here on the blog. Thanks for listening!
CREDITS
EPISODE COVER ART
AUDIO PRODUCTION
PRODUCER
Our theme music for this episode is Thumbs Up (for Rock N' Roll) by killthenoise with Feed Me which was used under a Creative Commons License.
In this episode, we talk to Nada Amin about generative programming and unsound types.
Topics
softwareclojuredatomicagile