Personal tools
You are here: Home Events Phil Wadler

Phil Wadler

Dan Piponi on Commutative monads, Bayesian Probability, and Quantum Computation

This year, ICFP was held in Edinburgh, and my favorite talk was academy-award winner Dan Piponi (also known as 'sigfpe') on how to convert diagrams to commutative monads, with applications to Bayesian Probability and Quantum Computation. Both are very simple, and based on the notion of vector space. For my talk, I will cheat and present a video of Piponi's talk. I will also bring along a running version of the Haskell code he refers to and give a demo.

Document Actions