“Propositions as Types” by Philip Wadler [video] Posted by smosher_ on Monday September 28, 2015 @02:14AM from the youtube.com dept. https://www.youtube.com/watch?v=IOiZatlZtGU ( no comments | 2 points | on HN )
There are no comments yet.