Program Calculation Properties of Continuous Algebras Maarten M Fokkinga∗ and Erik Meijer† Originally Januari 1991 - Program transformation - Document - PDFSEARCH.IO

First Page	Meta Content
	Program Calculation Properties of Continuous Algebras Maarten M Fokkinga∗ and Erik Meijer† Originally Januari 1991 Add to Reading List Document Date: 2011-08-28 13:02:59 Open Document File Size: 334,39 KB Share Result on Facebook City Toernooiveld / / Company NL 1009 AB / NL 7500 AE / / Country Netherlands / / Facility University of Nijmegen / University of Twente / / IndustryTerm fusion law / map promotion law / promotion law / map distribution law / categorical product / co-product / stream processing functions / carrier sets / / Organization Centre for Mathematics / University of Twente / University of Nijmegen / / Person Erik Meijer† Originally Januari / Roland Backhouse / Ross Paterson / / Position .head / / TVStation Wand / / SocialTag Functional programming Functor Catamorphism Equivalence of categories Sheaf Homomorphism Morphism Natural transformation Anamorphism Category theory

Program Calculation Properties of Continuous Algebras Maarten M Fokkinga∗ and Erik Meijer† Originally Januari 1991Add to Reading List