Functional pearl: la tour d'Hanoï
Abstract
This pearl aims to demonstrate the ideas of wholemeal and projective programming using the Towers of Hanoi puzzle as a running example. The puzzle has its own beauty, which we hope to expose along the way.
Related papers
- The Hanoi Omega-Automata Format CAV 2015
- A Quick Tour of the VeriFast Program Verifier APLAS 2010
- Data-driven inference of representation invariants PLDI 2020
- Multi-return function call ICFP 2004
- Multi-return function call JFP 2006
- Scrap your nameplate: (functional pearl) ICFP 2005
- Functional Pearls: The Last Tail JFP 1993
- Functional Pearl: Nearest Shelters in Manhattan APLAS 2014