Specifying Data Objects with Initial Algebras
Logic in Computer Science
2009-09-22 v1 Logic
Abstract
This study presents a systematic approach to specifying data objects with the help of initial algebras. The primary aim is to describe the set-up to be found in modern functional programming languages such as Haskell and ML, although it can also be applied to more general situations.
Cite
@article{arxiv.0909.3596,
title = {Specifying Data Objects with Initial Algebras},
author = {Chris Preston},
journal= {arXiv preprint arXiv:0909.3596},
year = {2009}
}
Comments
120 pages