Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Ramsey, Norman
2006.
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter.
Electronic Notes in Theoretical Computer Science,
Vol. 148,
Issue. 2,
p.
181.
BRINGERT, BJÖRN
and
RANTA, AARNE
2008.
A pattern for almost compositional functions.
Journal of Functional Programming,
Vol. 18,
Issue. 5-6,
p.
567.
Oliveira, José N.
2008.
Generative and Transformational Techniques in Software Engineering II.
Vol. 5235,
Issue. ,
p.
134.
Voigtländer, Janis
2008.
Mathematics of Program Construction.
Vol. 5133,
Issue. ,
p.
388.
Hinze, Ralf
2010.
Mathematics of Program Construction.
Vol. 6120,
Issue. ,
p.
195.
Frisby, Nicolas
Kimmell, Garrin
Weaver, Philip
and
Alexander, Perry
2010.
Constructing language processors with algebra combinators.
Science of Computer Programming,
Vol. 75,
Issue. 7,
p.
543.
Sakurai, Kanako
and
Asai, Kenichi
2011.
Logic-Based Program Synthesis and Transformation.
Vol. 6564,
Issue. ,
p.
84.
Hinze, Ralf
2012.
Generic and Indexed Programming.
Vol. 7470,
Issue. ,
p.
47.
Erwig, Martin
and
Walkingshaw, Eric
2012.
Software Language Engineering.
Vol. 6940,
Issue. ,
p.
243.
Hinze, Ralf
2013.
Adjoint folds and unfolds—An extended study.
Science of Computer Programming,
Vol. 78,
Issue. 11,
p.
2108.
Hinze, Ralf
Magalhães, José Pedro
and
Wu, Nicolas
2013.
The Beauty of Functional Code.
Vol. 8106,
Issue. ,
p.
151.
Bahr, Patrick
2014.
Composing and decomposing data types.
p.
71.
Kiselyov, Oleg
and
Ishii, Hiromi
2015.
Freer monads, more extensible effects.
p.
94.
Oliveira, Bruno C. d. S.
Mu, Shin-Cheng
and
You, Shu-Hung
2015.
Modular reifiable matching: a list-of-functors approach to two-level types.
p.
82.
Morris, J. Garrett
2015.
Variations on variants.
p.
71.
ATKEY, ROBERT
and
JOHANN, PATRICIA
2015.
Interleaving data and effects.
Journal of Functional Programming,
Vol. 25,
Issue. ,
Morris, J. Garrett
2016.
Variations on variants.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 12,
p.
71.
Kiselyov, Oleg
and
Ishii, Hiromi
2016.
Freer monads, more extensible effects.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 12,
p.
94.
Oliveira, Bruno C. d. S.
Mu, Shin-Cheng
and
You, Shu-Hung
2016.
Modular reifiable matching: a list-of-functors approach to two-level types.
ACM SIGPLAN Notices,
Vol. 50,
Issue. 12,
p.
82.
Chiang, Yu-Hsi
and
Mu, Shin-Cheng
2016.
Formal derivation of Greedy algorithms from relational specifications: A tutorial.
Journal of Logical and Algebraic Methods in Programming,
Vol. 85,
Issue. 5,
p.
879.
Discussions
No Discussions have been published for this article.