Re:Propositions as Types (2014) [pdf]
by chrislloyd on Friday November 13, 2015 @04:10PM
(#10562409)
If you're finding the paper too dense, Philip gave a extremely entertaining talk on the same subject at Strange Loop this year: https://www.youtube.com/watch?v=IOiZatlZtGU
[ Parent
| on HN ]
+1 Probably my favorite talk at Strange Loop this year. It's worth watching just for the minute or so starting here: https://www.youtube.com/watch?v=IOiZatlZtGU&t=33m