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 ...
Publications 2005 Personal.Alcino Cunha, Pointfree Program Calculation . PhD Thesis, Department of Informatics, University of Minho. June 2005. Manuel ...
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Alcino web. This is a convenient service, so you do not ...
TWiki.Personal/Alcino Web Preferences The following settings are web preferences of the TWiki.Personal/Alcino web. These preferences overwrite the site level ...
TWiki's Personal/Alcino web /view/Personal/Alcino The web for users, groups and offices. TWiki is a Web Based Collaboration Platform for the Corporate World.