Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Antoy, Sergio
and
Peters, Arthur
2012.
Functional and Logic Programming.
Vol. 7294,
Issue. ,
p.
17.
Antoy, Sergio
and
Jost, Andy
2014.
Logic-Based Program Synthesis and Transformation.
Vol. 8901,
Issue. ,
p.
202.
CLAESSEN, KOEN
DUREGÅRD, JONAS
and
PAŁKA, MICHAŁ H.
2015.
Generating constrained random data with uniform distribution.
Journal of Functional Programming,
Vol. 25,
Issue. ,
Benton, Nick
Kennedy, Andrew
Hofmann, Martin
and
Nigam, Vivek
2016.
A List of Successes That Can Change the World.
Vol. 9600,
Issue. ,
p.
56.
Narayanan, Praveen
and
Shan, Chung-chieh
2017.
Symbolic conditioning of arrays in probabilistic programs.
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Shan, Chung-chieh
and
Ramsey, Norman
2017.
Exact Bayesian inference by symbolic disintegration.
p.
130.
Shan, Chung-chieh
and
Ramsey, Norman
2017.
Exact Bayesian inference by symbolic disintegration.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 1,
p.
130.
Darais, David
Labich, Nicholas
Nguyen, Phúc C.
and
Van Horn, David
2017.
Abstracting definitional interpreters (functional pearl).
Proceedings of the ACM on Programming Languages,
Vol. 1,
Issue. ICFP,
p.
1.
Matsuda, Kazutaka
and
Wang, Meng
2018.
Embedding invertible languages with binders: a case of the FliPpr language.
ACM SIGPLAN Notices,
Vol. 53,
Issue. 7,
p.
158.
HAMANA, MAKOTO
MATSUDA, KAZUTAKA
and
ASADA, KAZUYUKI
2018.
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics.
Mathematical Structures in Computer Science,
Vol. 28,
Issue. 2,
p.
287.
Matsuda, Kazutaka
and
Wang, Meng
2018.
Embedding invertible languages with binders: a case of the FliPpr language.
p.
158.
Affeldt, Reynald
Nowak, David
and
Saikawa, Takafumi
2019.
Mathematics of Program Construction.
Vol. 11825,
Issue. ,
p.
226.
Antoy, Sergio
Hanus, Michael
and
Teegen, Finn
2019.
Functional and Constraint Logic Programming.
Vol. 11285,
Issue. ,
p.
93.
KISELYOV, OLEG
MU, SHIN-CHENG
and
SABRY, AMR
2021.
Not by equations alone: Reasoning with extensible effects.
Journal of Functional Programming,
Vol. 31,
Issue. ,
Hanus, Michael
and
Teegen, Finn
2021.
Functional and Constraint Logic Programming.
Vol. 12560,
Issue. ,
p.
57.
Teegen, Finn
Prott, Kai-Oliver
and
Bunkenburg, Niels
2021.
Haskell⁻¹: automatic function inversion in Haskell.
p.
41.
Yamaguchi, Masaomi
Matsuda, Kazutaka
David, Cristina
and
Wang, Meng
2021.
Synbit: synthesizing bidirectional programs using unidirectional sketches.
Proceedings of the ACM on Programming Languages,
Vol. 5,
Issue. OOPSLA,
p.
1.
Hanus, Michael
Prott, Kai-Oliver
and
Teegen, Finn
2022.
A Monadic Implementation of Functional Logic Programs.
p.
1.
Prott, Kai-Oliver
Teegen, Finn
and
Christiansen, Jan
2023.
Practical Aspects of Declarative Languages.
Vol. 13880,
Issue. ,
p.
37.
Ågren Thuné, Anders
Matsuda, Kazutaka
and
Wang, Meng
2024.
Programming Languages and Systems.
Vol. 14577,
Issue. ,
p.
59.
Discussions
No Discussions have been published for this article.