Functional Pearl: La Tour D'Hanoï

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

Chi tiết về thư mục
Tác giả chính: Hinze, R
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: 2009