Functional Geometry

Authors:
Peter Henderson
Affiliations:
Department of Electronics and Computer Science, University of Southampton, Southampton, SO17 1BJ, UK. p.henderson@ecs.soton.ac.uk http://www.ecs.soton.ac.uk/~ph
Venue:
Higher-Order and Symbolic Computation
Year:
2002

Citing 6
Cited 5

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
XSLT Programmer's Reference

XSLT Programmer's Reference
Functional geometry

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Modular Domain Specific Languages and Tools

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A functional reactive animation of a lift using Fran

Journal of Functional Programming
Pictures: a simple structured graphics model

FP'95 Proceedings of the 1995 international conference on Functional Programming

From turtles to Tangible Programming Bricks: explorations in physical language design

Personal and Ubiquitous Computing
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Functional programming using JavaScript and the HTML5 canvas element

Journal of Computing Sciences in Colleges
The RLOC is dead - long live the RLOC

Proceedings of the 19th ACM/SIGDA international symposium on Field programmable gate arrays
Functional geometry and the Traité de Lutherie: functional pearl

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

An algebra of pictures is described that is sufficiently powerful to denote the structure of a well-known Escher woodcut, Square Limit. A decomposition of the picture that is reasonably faithful to Escher's original design is given. This illustrates how a suitably chosen algebraic specification can be both a clear description and a practical implementation method. It also allows us to address some of the criteria that make a good algebraic description.