Specifying Data Objects with Initial Algebras

Details Specifying Data Objects with Initial Algebras Specifying Data Objects with Initial Algebras

2009-09-19

arxiv.org/abs/0909.3596v1

Computer Science

Logic in Computer Science

120 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Specifying Data Objects with Initial Algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Specifying Data Objects with Initial Algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Specifying Data Objects with Initial Algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-487153