Standard
Evaluation à la carte : non-strict evaluation via compositional data types. / Bahr, Patrick.
Proceedings of the 23rd Nordic Workshop on Programming Theory. ed. / Paul Pettersson; Cristina Seceleanu. Mälardalen University, 2011. p. 38-40 (Technical Report, Vol. 254).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Bahr, P 2011,
Evaluation à la carte: non-strict evaluation via compositional data types. in P Pettersson & C Seceleanu (eds),
Proceedings of the 23rd Nordic Workshop on Programming Theory. Mälardalen University, Technical Report, vol. 254, pp. 38-40, 23rd Nordic Workshop on Programming Theory, Västerås, Sweden,
26/10/2011. <
http://www.mrtc.mdh.se/nwpt2011/index.php?choice=program>
APA
Bahr, P. (2011).
Evaluation à la carte: non-strict evaluation via compositional data types. In P. Pettersson, & C. Seceleanu (Eds.),
Proceedings of the 23rd Nordic Workshop on Programming Theory (pp. 38-40). Mälardalen University. Technical Report Vol. 254
http://www.mrtc.mdh.se/nwpt2011/index.php?choice=program
Vancouver
Bahr P. Evaluation à la carte: non-strict evaluation via compositional data types. In Pettersson P, Seceleanu C, editors, Proceedings of the 23rd Nordic Workshop on Programming Theory. Mälardalen University. 2011. p. 38-40. (Technical Report, Vol. 254).
Author
Bahr, Patrick. / Evaluation à la carte : non-strict evaluation via compositional data types. Proceedings of the 23rd Nordic Workshop on Programming Theory. editor / Paul Pettersson ; Cristina Seceleanu. Mälardalen University, 2011. pp. 38-40 (Technical Report, Vol. 254).
Bibtex
@inproceedings{0c16a40ec8c34398b0542a7e7eb41757,
title = "Evaluation {\`a} la carte: non-strict evaluation via compositional data types",
abstract = "We describe how to perform monadic computations over recursive datastructures with fine grained control over the evaluationstrategy. This solves the issue that the definition of a recursivemonadic function already determines the evaluation strategy due tothe necessary sequencing of the monadic operations. We show thatcompositional data types already provide the structure needed inorder to delay monadic computations at any point of the computation.",
keywords = "Faculty of Science, monads, tree transformations, evaluation strategies, Haskell, generic programming",
author = "Patrick Bahr",
year = "2011",
language = "English",
series = "Technical Report",
pages = "38--40",
editor = "Paul Pettersson and Cristina Seceleanu",
booktitle = "Proceedings of the 23rd Nordic Workshop on Programming Theory",
publisher = "M{\"a}lardalen University",
note = "23rd Nordic Workshop on Programming Theory ; Conference date: 26-10-2011 Through 28-10-2011",
}
RIS
TY - GEN
T1 - Evaluation à la carte
T2 - 23rd Nordic Workshop on Programming Theory
AU - Bahr, Patrick
N1 - Conference code: 23
PY - 2011
Y1 - 2011
N2 - We describe how to perform monadic computations over recursive datastructures with fine grained control over the evaluationstrategy. This solves the issue that the definition of a recursivemonadic function already determines the evaluation strategy due tothe necessary sequencing of the monadic operations. We show thatcompositional data types already provide the structure needed inorder to delay monadic computations at any point of the computation.
AB - We describe how to perform monadic computations over recursive datastructures with fine grained control over the evaluationstrategy. This solves the issue that the definition of a recursivemonadic function already determines the evaluation strategy due tothe necessary sequencing of the monadic operations. We show thatcompositional data types already provide the structure needed inorder to delay monadic computations at any point of the computation.
KW - Faculty of Science
KW - monads
KW - tree transformations
KW - evaluation strategies
KW - Haskell
KW - generic programming
M3 - Article in proceedings
T3 - Technical Report
SP - 38
EP - 40
BT - Proceedings of the 23rd Nordic Workshop on Programming Theory
A2 - Pettersson, Paul
A2 - Seceleanu, Cristina
PB - Mälardalen University
Y2 - 26 October 2011 through 28 October 2011
ER -