Nada Amin - Cognicast Episode 129
Cognicast
English - July 27, 2017 13:26 - 49 minutes - ★★★★★ - 18 ratingsTechnology software clojure datomic agile Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
In this episode, we talk to Nada Amin about generative programming and unsound types.
Our Guest, Nada Amin
On the Web
On Twitter
On Github
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
Russ Olsen
Joe Smith
Jaret Binford
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.