Functional Pearl: La Tour D'Hanoi

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. Copyrightc 2009 ACM.

Библиографические подробности
Главный автор: Hinze, R
Формат: Journal article
Язык:English
Опубликовано: 2009