DrHylo Introduction Tool for deriving hylomorphisms from a restricted Haskell syntax. It is based on the algorithm first presented in the paper Deriving Structural ...
Pointless Haskell Introduction Pointless Haskell is library for point free programming with recursion patterns defined as hylomorphisms. It is part of the UMinho ...
TWiki.Personal/Alcino Web Preferences The following settings are web preferences of the TWiki.Personal/Alcino web. These preferences overwrite the site level ...
Publications 2005 Personal.Alcino Cunha, Pointfree Program Calculation . PhD Thesis, Department of Informatics, University of Minho. June 2005. Manuel ...