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.

書誌詳細
第一著者: Hinze, R
フォーマット: Journal article
言語:English
出版事項: 2009