37: Propositions as Types w/ Brian McKenna
Turing-Incomplete
English - February 01, 2015 15:00 - 35.9 MB - ★★★★★ - 12 ratingsTechnology Education How To Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: 36: End-to-End Testing
Next Episode: 38: Water[fall/wheel] and Rewrites
Propositions as Types
Simple Energy
Curry–Howard isomorphism
Types and Programming Languages
@parametricity
Type safe printf
Brian's talk at Strangeloop 2014
Propositions as Types
Simple Energy
Curry–Howard isomorphism
Types and Programming Languages
@parametricity
Type safe printf
Brian's talk at Strangeloop 2014
PicksLen: TransparentJearvon: The Weeknd, Pay it Forward. Help others :)Justin: LaunchRocketPam: Algorithms (textbook), Algorithms (course)Brian McKenna: Compose::Conference, LambdaConf
These shownotes are also available at turing.cool/37
turing.cool@turingcoolgithub.com/turing-incompleteJustin Campbell: @justincampbellJearvon Dharrie: @jearvonPam Selle: @pamasaurLen Smith: @ignu