Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Cofree Traversable Functors
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2019 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Traversable functors see widespread use in purely functional programming as an approach to the iterator pattern. Unlike other commonly used functor families, free constructions of traversable functors have not yet been described. Free constructions have previously found powerful applications in purely functional programming, as they embody the concept of providing the minimal amount of structure needed to create members of a complex family out of members of a simpler, underlying family. This thesis introduces Cofree Traversable Functors, together with a provably valid implementation, thereby developing a family of free constructions for traversable functors. As free constructions, cofree traversable functors may be used in order to create novel traversable functors from regular functors. Cofree traversable functors may also be leveraged in order to manipulate traversable functors generically.

Place, publisher, year, edition, pages
2019. , p. 85
Series
IT ; 19035
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:uu:diva-396820OAI: oai:DiVA.org:uu-396820DiVA, id: diva2:1369180
Educational program
Bachelor Programme in Computer Science
Supervisors
Examiners
Available from: 2019-11-11 Created: 2019-11-11 Last updated: 2019-11-11Bibliographically approved

Open Access in DiVA

fulltext(1042 kB)59 downloads
File information
File name FULLTEXT01.pdfFile size 1042 kBChecksum SHA-512
68e9efe9cb04a3a5b31a2f910d103a1047f7d8cde052eb073932beab6479c9be2ac230cb9f017684fc6568acdcc3c6faf01a7e3826b3fe9bfbf96f7be8bb0412
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 59 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 96 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf