Personal tools
You are here: Home Events "Write your next paper in Haskell !"

"Write your next paper in Haskell !"

Lab lunch topic

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