# "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.