"Propositions as Types" by Philip Wadler
Strange Loop Conference
SIGNALTUBE / HACKER NEWS
Search results for “type theory”
Search titles, channels, topics, and recommendation context.
Invited Talk - Guy Steele
ClojureTV
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
jasonofthel33t
Showing 6 of 6 matching videos.