Chesskell: a two-player game at the type level.

Toby Bailey, Michael B. Gale

Browse the full HASKELL paper archive.