Monadification of functional programs Public Deposited

http://ir.library.oregonstate.edu/concern/technical_reports/6d56zx78p

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • The structure of monadic functional programs allows the integration of many different features into such programs by just changing the definition of the monad and not the program, which is a desirable feature from a software engineering and maintenance point of view. We describe an algorithm for the automatic transformation of a function into such a monadic form. We argue that the proposed transformation is sound and under certain conditions also complete. We also show how invertible monads can be used to extend the scope of the proposed transformation and can help to prevent the proliferation of monads over a program.
Resource Type
Date Available
Date Issued
Series
Keyword
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Submitted by Laura Wilson (laura.wilson@oregonstate.edu) on 2012-05-29T23:17:39Z No. of bitstreams: 1 Monadification of functional programs.pdf: 164623 bytes, checksum: 85331948952154cdafd107464726e05b (MD5)
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2012-05-29T23:18:36Z (GMT) No. of bitstreams: 1 Monadification of functional programs.pdf: 164623 bytes, checksum: 85331948952154cdafd107464726e05b (MD5)
  • description.provenance : Made available in DSpace on 2012-05-29T23:18:36Z (GMT). No. of bitstreams: 1 Monadification of functional programs.pdf: 164623 bytes, checksum: 85331948952154cdafd107464726e05b (MD5) Previous issue date: 2002-10

Relationships

In Administrative Set:
Last modified: 07/18/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items