Sign up to save your podcasts
Or
Share 37: Propositions as Types w/ Brian McKenna
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
37: Propositions as Types w/ Brian McKenna
Propositions as Types
Simple Energy
Curry–Howard isomorphism
Types and Programming Languages
@parametricity
Type safe printf
Brian's talk at Strangeloop 2014
View all episodes
By Turing-Incomplete
4.8
1212 ratings
Propositions as Types
Simple Energy
Curry–Howard isomorphism
Types and Programming Languages
@parametricity
Type safe printf
Brian's talk at Strangeloop 2014