A framework for point-free program transformation

The subject of this paper is functional program transformation in the so-called point-free style. By this we mean first translating programs to a form consisting only of categorically-inspired combinators, algebraic data types defined as fixed points of functors, and implicit recursion through the u...

Full description

Bibliographic Details
Main Author: Cunha, Alcino (author)
Other Authors: Pinto, Jorge Sousa (author), Proença, José Miguel Paiva (author)
Format: conferencePaper
Language:eng
Published: 2006
Subjects:
Functional programming
Point-free transform
Science & Technology
Online Access:http://hdl.handle.net/1822/14350
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/14350

Internet

http://hdl.handle.net/1822/14350

Similar Items