File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Monads, zippers and views: Virtualizing the monad stack

TitleMonads, zippers and views: Virtualizing the monad stack
Authors
KeywordsComponents With Side Effects
Modularity
Monad Transformers
Zipper
Issue Date2011
Citation
Acm Sigplan Notices, 2011, v. 46 n. 9, p. 32-44 How to Cite?
AbstractWe make monadic components more reusable and robust to changes by employing two new techniques for virtualizing the monad stack: the monad zipper and monad views. The monad zipper is a higher-order monad transformer that creates virtual monad stacks by ignoring particular layers in a concrete stack. Monad views provide a general framework for monad stack virtualization: they take the monad zipper one step further and integrate it with a wide range of other virtualizations. For instance, particular views allow restricted access to monads in the stack. Furthermore, monad views provide components with a call-by-reference-like mechanism for accessing particular layers of the monad stack. With our two new mechanisms, the monadic effects required by components no longer need to be literally reflected in the concrete monad stack. This makes these components more reusable and robust to changes. Copyright © 2011 ACM.
Persistent Identifierhttp://hdl.handle.net/10722/188494
ISSN
2015 SCImago Journal Rankings: 0.490
ISI Accession Number ID
References

 

DC FieldValueLanguage
dc.contributor.authorSchrijvers, Ten_US
dc.contributor.authorOliveira, BCDSen_US
dc.date.accessioned2013-09-03T04:08:43Z-
dc.date.available2013-09-03T04:08:43Z-
dc.date.issued2011en_US
dc.identifier.citationAcm Sigplan Notices, 2011, v. 46 n. 9, p. 32-44en_US
dc.identifier.issn1523-2867en_US
dc.identifier.urihttp://hdl.handle.net/10722/188494-
dc.description.abstractWe make monadic components more reusable and robust to changes by employing two new techniques for virtualizing the monad stack: the monad zipper and monad views. The monad zipper is a higher-order monad transformer that creates virtual monad stacks by ignoring particular layers in a concrete stack. Monad views provide a general framework for monad stack virtualization: they take the monad zipper one step further and integrate it with a wide range of other virtualizations. For instance, particular views allow restricted access to monads in the stack. Furthermore, monad views provide components with a call-by-reference-like mechanism for accessing particular layers of the monad stack. With our two new mechanisms, the monadic effects required by components no longer need to be literally reflected in the concrete monad stack. This makes these components more reusable and robust to changes. Copyright © 2011 ACM.en_US
dc.languageengen_US
dc.relation.ispartofACM SIGPLAN Noticesen_US
dc.subjectComponents With Side Effectsen_US
dc.subjectModularityen_US
dc.subjectMonad Transformersen_US
dc.subjectZipperen_US
dc.titleMonads, zippers and views: Virtualizing the monad stacken_US
dc.typeConference_Paperen_US
dc.identifier.emailOliveira, BCDS: oliveira@comp.nus.edu.sgen_US
dc.identifier.authorityOliveira, BCDS=rp01786en_US
dc.description.naturelink_to_subscribed_fulltexten_US
dc.identifier.doi10.1145/2034574.2034781en_US
dc.identifier.scopuseid_2-s2.0-80053356404en_US
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-80053356404&selection=ref&src=s&origin=recordpageen_US
dc.identifier.volume46en_US
dc.identifier.issue9en_US
dc.identifier.spage32en_US
dc.identifier.epage44en_US
dc.identifier.isiWOS:000297632700005-
dc.publisher.placeUnited Statesen_US
dc.identifier.scopusauthoridSchrijvers, T=8870481000en_US
dc.identifier.scopusauthoridOliveira, BCDS=12239474400en_US

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats