Search


	Podcast:		Turing-Incomplete
	Episode:		37: Propositions as Types w/ Brian McKenna
	Category:		Technology
	Duration:		00:52:33
	Publish Date:		2015-02-01 09:00:00
	Description:		Propositions as Types Simple Energy Curry–Howard isomorphism Types and Programming Languages @parametricity Type safe printf Brian's talk at Strangeloop 2014 Picks Len: Transparent Jearvon: The Weeknd, Pay it Forward. Help others :) Justin: LaunchRocket Pam: Algorithms (textbook), Algorithms (course) Brian McKenna: Compose::Conference, LambdaConf These shownotes are also available at turing.cool/37 turing.cool @turingcool github.com/turing-incomplete Justin Campbell: @justincampbell Jearvon Dharrie: @jearvon Pam Selle: @pamasaur Len Smith: @ignu
	Total Play:		0

37: Propositions as Types w/ Brian McKenna