Nada Amin's guest appearances

Nada Amin

Cognicast

Lightbend

Kyle Kingsbury

Ben Orenstein

Billy Meier

Yodit Stanton

Chad Fowler

Gene Kim

Scott Hanselman

Alex Miller

Katie Morton

John Chapin

Jason Wolfe

Mike Pearson

Aaron Brooks

Marshall Thompson

Jessica Kerr

OwlTail

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 podcast@cognitect.com, or leave a comment here on the blog. Thanks for listening! CREDITS EPISODE COVER ART  Michael Parenteau  AUDIO PRODUCTION  Russ Olsen Joe Smith Jaret Binford  PRODUCER  Kim Foster  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.

<p>In this episode, we talk to Nada Amin about generative programming and unsound types.</p> <h1>Our Guest, Nada Amin</h1> <ul> <li><a href="http://lampwww.epfl.ch/~amin/cv/" rel="nofollow" target="_blank">On the Web</a></li> <li><a href="https://twitter.com/nadamin" rel="nofollow" target="_blank">On Twitter</a></li> <li><a href="https://github.com/namin" rel="nofollow" target="_blank">On Github</a></li> </ul> <h1>Topics</h1> <ul> <li><a href="https://mitpress.mit.edu/sicp/full-text/book/book-Z-H-25.html#%_chap_4" rel="nofollow" target="_blank">Metalinguistic Abstractions</a></li> <li><a href="https://www.youtube.com/watch?v=H_2y9wyOQN0" rel="nofollow" target="_blank">Splash 2016 talk</a></li> <li><a href="https://en.wikipedia.org/wiki/In_Search_of_Lost_Time" rel="nofollow" target="_blank">In Search of Lost Time</a> by <a href="https://en.wikipedia.org/wiki/Marcel_Proust" rel="nofollow" target="_blank">Marcel Proust</a></li> <li><a href="http://2017.euroclojure.org/nada-amin/" rel="nofollow" target="_blank">Generative Programming and Verification</a></li> <li>Strange Loop - <a href="https://www.youtube.com/watch?v=SrKj4hYic5A" rel="nofollow" target="_blank">Programming Should Eat Itself</a></li> <li><a href="http://dl.acm.org/citation.cfm?id=2660216" rel="nofollow" target="_blank">Dependent Object Types</a></li> <li><a href="https://en.wikipedia.org/wiki/Martin_Odersky" rel="nofollow" target="_blank">Martin Odersky</a></li> <li><a href="https://hackernoon.com/java-is-unsound-28c84cb2b3f" rel="nofollow" target="_blank">Russ Tate blog post</a></li> </ul> <h1>SUBSCRIBING TO THE COGNICAST</h1> <p>The show is <a href="https://itunes.apple.com/us/podcast/thinkrelevance-the-podcast/id498067022" rel="nofollow" target="_blank">available on iTunes!</a> You can also subscribe to the podcast using our <a href="http://feeds.feedburner.com/cognicast" rel="nofollow" target="_blank">podcast feed.</a></p> <p>You can send feedback about the show to <a href="mailto:podcast@cognitect.com">podcast@cognitect.com</a>, or leave a comment here on the blog. Thanks for listening!</p> <h1>CREDITS</h1> <h3>EPISODE COVER ART</h3> <ul> <li><a href="http://michaelparenteau.com/" rel="nofollow" target="_blank">Michael Parenteau</a></li> </ul> <h3>AUDIO PRODUCTION</h3> <ul> <li><a href="/authors/RussOlsen.html" rel="nofollow" target="_blank">Russ Olsen</a></li> <li><a href="/authors/JoeSmith.html" rel="nofollow" target="_blank">Joe Smith</a></li> <li><a href="/authors/JaretBinford.html" rel="nofollow" target="_blank">Jaret Binford</a></li> </ul> <h3>PRODUCER</h3> <ul> <li><a href="/authors/KimFoster.html" rel="nofollow" target="_blank">Kim Foster</a></li> </ul> <p>Our theme music for this episode is <a href="https://soundcloud.com/owslaofficial/kill-the-noise-feed-me-thumbs-up" rel="nofollow" target="_blank">Thumbs Up (for Rock N' Roll)</a> by <a href="https://soundcloud.com/killthenoise" rel="nofollow" target="_blank">killthenoise</a> with <a href="https://soundcloud.com/feedme" rel="nofollow" target="_blank">Feed Me</a> which was used under a Creative Commons License.</p> <p>In this episode, we talk to Nada Amin about generative programming and unsound types.</p>

Nada Amin - Cognicast Episode 129

The DOT (Dependent Object Types) calculus attempts to ground Scala's type system in fewer, but powerful, constructs. In this talk Nada will describe what these constructs are, and how they relate to Scala's current type system. She will also show how DOT simplifies type inference. Finally, Nada will touch upon the challenges in the meta-theory. To view the video visit www.parleys.com.

The DOT (Dependent Object Types) calculus attempts to ground Scala's type system in fewer, but powerful, constructs. In this talk Nada will describe what these constructs are, and how they relate to Scala's current type system. She will also show how DOT simplifies type inference. Finally, Nada will touch upon the challenges in the meta-theory. <br><br>To view the video visit <a href="http://www.parleys.com" rel="nofollow" target="_blank">www.parleys.com</a>.

Scala Days 2014 - "The DOT Calculus" - Nada Amin