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

Toby Bailey, Michael B. Gale (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics