Fusing folds and data structures into zoetic data

Bailes, P. A. C. and Kemp, C. J. (2005). Fusing folds and data structures into zoetic data. In: Peter Kokol, Proceedings of the IASTED International Conference on Software Engineering: As part of the 23rd IASTED International Multi-Conference on Applied Informatics. IASTED International Conference on Software Engineering 2005 (SE 2005), Innsbruck, Austria, (299-306). 15-17 February 2005.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Fusing_folds.pdf Fusing folds.pdf application/pdf 664.00KB 0

Author Bailes, P. A. C.
Kemp, C. J.
Title of paper Fusing folds and data structures into zoetic data
Conference name IASTED International Conference on Software Engineering 2005 (SE 2005)
Conference location Innsbruck, Austria
Conference dates 15-17 February 2005
Convener The International Association of Science and Technology for Development (IASTED)
Proceedings title Proceedings of the IASTED International Conference on Software Engineering: As part of the 23rd IASTED International Multi-Conference on Applied Informatics   Check publisher's open access policy
Journal name Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005   Check publisher's open access policy
Place of Publication Anaheim, U.S.A.
Publisher ACTA Press
Publication Year 2005
Sub-type Fully published paper
ISBN 9780889864641
0889864640
9780889864665
0889864667
ISSN 1027-2666
Editor Peter Kokol
Volume 455
Start page 299
End page 306
Total pages 8
Language eng
Formatted Abstract/Summary
The persistent difficulty of programming is indicative of the need for further reduction in the complexity of programming languages. Systematic simplification of functional programs is achieved through the packaging of recursion via “fold” functions, but we are led to even further simplifications by conceiving of partially-applied folds in terms of providing enlivened or “zoetic” views of otherwise inert data. Importantly, zoetic animations can indeed be found in more general structures than just pure folds, and fold-theory is critical in the synthesis of these wider applications. This zoetic style has a strong grounding in the theoretical development of functional programming and has interesting links to object-oriented programming, and subrecursive and analog computing. Its identification moreover in some of the most striking applications of higher-order functional programming leads us to suspect that this zoetic style is the ultimate simplification of functional programming.
Subjects E1
280303 Programming Languages
700199 Computer software and services not elsewhere classified
Keyword Fold
Functional programming
Higher-order functions
Q-Index Code E1
Additional Notes Published under "Software Tools, Programming Languages, and Embedded Systems". Variant proceedings title: Software engineering.

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 07:16:51 EST