Personal tools
You are here: Home Events Philip Wadler

Philip Wadler

Write your next paper in Haskell !

I've recently encountered a pair of lovely papers, one by Tarau and one by Escardo and Oliva, each presented in the form of an executable Haskell program. This talk will cover a little of their content, and explain some methods for sharpening the technique, notably by use of QuickCheck.
Paul Tarau, Axiomatizations as Type Classes: Declarative Modeling of Finite Mathematics. PPDP 2010.
Martin Escardo and Paulo Oliva, What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common, MSFP 2010.

Document Actions