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.
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2009
|
_version_ | 1797097095210991616 |
---|---|
author | Hinze, R |
author_facet | Hinze, R |
author_sort | Hinze, R |
collection | OXFORD |
description | 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. |
first_indexed | 2024-03-07T04:50:44Z |
format | Journal article |
id | oxford-uuid:d4dd2c6f-7e12-4a00-bfbc-cc668d342d8c |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-07T04:50:44Z |
publishDate | 2009 |
record_format | dspace |
spelling | oxford-uuid:d4dd2c6f-7e12-4a00-bfbc-cc668d342d8c2022-03-27T08:21:43ZFunctional Pearl: La Tour D'HanoiJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:d4dd2c6f-7e12-4a00-bfbc-cc668d342d8cEnglishSymplectic Elements at Oxford2009Hinze, RThis 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. |
spellingShingle | Hinze, R Functional Pearl: La Tour D'Hanoi |
title | Functional Pearl: La Tour D'Hanoi |
title_full | Functional Pearl: La Tour D'Hanoi |
title_fullStr | Functional Pearl: La Tour D'Hanoi |
title_full_unstemmed | Functional Pearl: La Tour D'Hanoi |
title_short | Functional Pearl: La Tour D'Hanoi |
title_sort | functional pearl la tour d hanoi |
work_keys_str_mv | AT hinzer functionalpearllatourdhanoi |