Coalgebraic Monads

Coalgebraic Monads (2002)

by Neil Ghani , Christoph Lüth , Federico De Marchi

Citations:

7 - 5 self

User correction supplied by mph

Datum	Value	Source
TITLE	Coalgebraic Monads	user correction - Legacy Corrections
AUTHOR NAME	Neil Ghani	user correction
AUTHOR AFFIL	Department of Maths and Computer Science, University of Leicester	user correction
AUTHOR ADDR	England	user correction
AUTHOR NAME	Christoph Lüth	user correction
AUTHOR AFFIL	FB 3-- Mathematik und Informatik, Universitat Bremen	user correction
AUTHOR NAME	Federico De Marchi	user correction
AUTHOR AFFIL	Department of Maths and Computer Science, University of Leicester	user correction
AUTHOR ADDR	England	user correction
ABSTRACT	This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term graphs. We develop a general method for obtaining finitary coalgebraic monads which allows us to generalise the notion of rational term and term graph to categories other than Set. As an application we sketch part of the correctness of the the term graph implementation of functional programming languages.	user correction - Legacy Corrections
YEAR	2002	user correction - Legacy Corrections
CITATIONS	15 found	ParsCit 1.0