Chapter 8 Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin-Cheng Mu Abstract. We argue for the beneﬁts of relations over functions for modelling programs, and even more so for modellin - Higher-order function - Document - PDFSEARCH.IO

First Page	Meta Content
	Chapter 8 Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin-Cheng Mu Abstract. We argue for the beneﬁts of relations over functions for modelling programs, and even more so for modellin Add to Reading List Document Date: 2003-08-20 02:35:09 Open Document File Size: 197,72 KB Share Result on Facebook Company foldT A / / IndustryTerm make products / cartesian product / fold operator / categorical product / / Person Shin-Cheng Mu There / Richard Bird / Jeremy Gibbons / Shin-Cheng Mu / Cheng Mu / / Position representative / / ProgrammingLanguage Haskell / / Technology functional programming / / SocialTag Higher-order functions Category theory Fold Recursion Function Map Surjective function Homomorphism Anamorphism Mathematics

Chapter 8 Algebraic Methods for Optimization Problems Richard Bird, Jeremy Gibbons and Shin-Cheng Mu Abstract. We argue for the beneﬁts of relations over functions for modelling programs, and even more so for modellinAdd to Reading List