||This article provides insufficient context for those unfamiliar with the subject. Learn how and when to remove this template message) (July 2010) (|
A paramorphism (from Greek παρά, meaning "close together") is an extension of the concept of catamorphism first introduced by Lambert Meertens  to deal with a form which “eats its argument and keeps it too”, as exemplified by the factorial function. Its categorical dual is the apomorphism.
- Meertens, Lambert (1992). "Paramorphisms". CiteSeerX: 10
.1 .1 .19 .4825.
- Philip Wadler.Views: A way for pattern matching to cohabit with data abstraction. Technical Report 34, Programming Methodology Group, University of Göteburg and Chalmers University of Technology, March 1987.
- Meijer, Erik; Fokkinga, Maarten; Paterson, Ross (1991). "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire". CiteSeerX: 10
.1 .1 .41 .125.
Explanation on StackOverflow: 
|This formal methods-related article is a stub. You can help Wikipedia by expanding it.|