| Title | : | Category Theory for the Working Hacker by Philip Wadler |
| Duration | : | 50 minutes, 52 seconds |
| Uploader | : | Lambda World |
| Added On: | : | 11 November, 2016 |
| Views | : | 91.1K times |
| Likes | : | 0 |
| Source | : | YouTube |
Category Theory for the Working HackerThe talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between propositions and proofs in logic, on the one hand, and types and progr
