Ghent University Academic Bibliography

Advanced

Monads, zippers and views: virtualizing the monad stack

Tom Schrijvers UGent and Bruno C de S Oliveira (2011) ACM SIGPLAN NOTICES. 46(9). p.32-44
abstract
We 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.
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle (original)
publication status
published
subject
keyword
functional programming, Haskell, computer science, programming languages, monad transformers, modularity, monads, side effects
journal title
ACM SIGPLAN NOTICES
ACM Sigplan Not.
volume
46
issue
9
pages
32 - 44
conference name
16th ACM SIGPLAN international conference on Functional Programming (ICFP 2011)
conference location
Tokyo, Japan
conference start
2011-09-19
conference end
2011-09-21
Web of Science type
Article
Web of Science id
000297632700005
JCR category
COMPUTER SCIENCE, SOFTWARE ENGINEERING
JCR impact factor
0.09 (2011)
JCR rank
100/103 (2011)
JCR quartile
4 (2011)
ISSN
0362-1340
ISBN
9781450308656
DOI
10.1145/2034574.2034781
language
English
UGent publication?
yes
classification
A1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1246782
handle
http://hdl.handle.net/1854/LU-1246782
date created
2011-05-30 10:50:40
date last changed
2012-01-26 12:57:21
@article{1246782,
  abstract     = {We 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.},
  author       = {Schrijvers, Tom and Oliveira, Bruno C de S},
  isbn         = {9781450308656},
  issn         = {0362-1340},
  journal      = {ACM SIGPLAN NOTICES},
  keyword      = {functional programming,Haskell,computer science,programming languages,monad transformers,modularity,monads,side effects},
  language     = {eng},
  location     = {Tokyo, Japan},
  number       = {9},
  pages        = {32--44},
  title        = {Monads, zippers and views: virtualizing the monad stack},
  url          = {http://dx.doi.org/10.1145/2034574.2034781},
  volume       = {46},
  year         = {2011},
}

Chicago
Schrijvers, Tom, and Bruno C de S Oliveira. 2011. “Monads, Zippers and Views: Virtualizing the Monad Stack.” Acm Sigplan Notices 46 (9): 32–44.
APA
Schrijvers, T., & Oliveira, B. C. de S. (2011). Monads, zippers and views: virtualizing the monad stack. ACM SIGPLAN NOTICES, 46(9), 32–44. Presented at the 16th ACM SIGPLAN international conference on Functional Programming (ICFP 2011).
Vancouver
1.
Schrijvers T, Oliveira BC de S. Monads, zippers and views: virtualizing the monad stack. ACM SIGPLAN NOTICES. 2011;46(9):32–44.
MLA
Schrijvers, Tom, and Bruno C de S Oliveira. “Monads, Zippers and Views: Virtualizing the Monad Stack.” ACM SIGPLAN NOTICES 46.9 (2011): 32–44. Print.