Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Schröder, Lutz
and
Mossakowski, Till
2007.
Recent Trends in Algebraic Development Techniques.
Vol. 4409,
Issue. ,
p.
127.
Kameyama, Yukiyoshi
Kiselyov, Oleg
and
Shan, Chung-chieh
2009.
Shifting the stage.
p.
111.
Grust, Torsten
Mayr, Manuel
Rittinger, Jan
and
Schreiber, Tom
2009.
FERRY.
p.
1063.
Jeffery, David
Kozlenkov, Alexander
and
Paschke, Adrian
2009.
State management and concurrency in event processing.
p.
1.
Henglein, Fritz
2010.
Optimizing relational algebra operations using generic equivalence discriminators and lazy products.
p.
73.
Gibbons, Jeremy
2011.
Maximum Segment Sum, Monadically (distilled tutorial).
Electronic Proceedings in Theoretical Computer Science,
Vol. 66,
Issue. ,
p.
181.
Magalhães, José Pedro
and
Löh, Andres
2012.
A Formal Comparison of Approaches to Datatype-Generic Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 76,
Issue. ,
p.
50.
Henglein, Fritz
2012.
Logic-Based Program Synthesis and Transformation.
Vol. 7225,
Issue. ,
p.
4.
Magalhães, José Pedro
2012.
The right kind of generic programming.
p.
13.
Rossberg, Andreas
and
Dreyer, Derek
2013.
Mixin’ Up the ML Module System.
ACM Transactions on Programming Languages and Systems,
Vol. 35,
Issue. 1,
p.
1.
Koops, Hendrik Vincent
Magalhães, José Pedro
and
de Haas, W. Bas
2013.
A functional approach to automatic melody harmonisation.
p.
47.
Bransen, Jeroen
and
Magalhães, José Pedro
2013.
Generic representations of tree transformations.
p.
73.
Sjölund, Martin
Fritzson, Peter
and
Pop, Adrian
2014.
Bootstrapping a Compiler for an Equation-Based Object-Oriented Language.
Modeling, Identification and Control: A Norwegian Research Bulletin,
Vol. 35,
Issue. 1,
p.
1.
Duong, Van T. T.
Khan, Kifayat Ullah
Jeong, Byeong-Soo
and
Lee, Young-Koo
2016.
Top-
k
frequent induced subgraph mining using sampling
.
p.
110.
Berenger, Francois
Zhang, Kam Y. J.
and
Yamanishi, Yoshihiro
2019.
Chemoinformatics and structural bioinformatics in OCaml.
Journal of Cheminformatics,
Vol. 11,
Issue. 1,
Discussions
No Discussions have been published for this article.