by Lanese, Ivan, Nishida, Naoki, Palacios, Adrián, Vidal, Germán
Published in Functional and Logic Programming (01.01.2018)

by Moser, Georg, Schneckenreither, Manuel
Published in Functional and Logic Programming (01.01.2018)

by Cheung, Steven, Darvariu, Victor, Ghica, Dan R., Muroya, Koko, Rowe, Reuben N. S.
Published in Lecture notes in computer science (01.01.2018)

by Masuda, Masahiro, Kameyama, Yukiyoshi
Published in Functional and Logic Programming (01.01.2022)

by Mizuno, Masayuki, Sumii, Eijiro
Published in Functional and Logic Programming (01.01.2018)

by Haftmann, Florian, Nipkow, Tobias
Published in Proceedings of the 10th international conference on Functional and Logic Programming (19.04.2010)

by Haemmerlé, R., López-García, P., Liqat, U., Klemen, M., Gallagher, J. P., Hermenegildo, M. V.
Published in Functional and Logic Programming (2016)

by Macedo, José Nuno, Viera, Marcos, Saraiva, João
Published in Lecture notes in computer science (2022)

by Hamana, Makoto
Published in Functional and Logic Programming (01.01.2018)

by Morihata, Akimasa, Emoto, Kento, Matsuzaki, Kiminori, Hu, Zhenjiang, Iwasaki, Hideya
Published in Functional and Logic Programming (01.01.2018)

Published in Lecture notes in computer science

by Suwa, Takashi, Igarashi, Atsushi
Published in Lecture notes in computer science (2024)

by Kiselyov, Oleg
Published in Functional and Logic Programming (03.05.2022)

by Vidal, Germán
Published in Functional and Logic Programming (2022)

by Krijnen, Jacco O. G., Chakravarty, Manuel M. T., Keller, Gabriele, Swierstra, Wouter
Published in Functional and Logic Programming (2022)

by Yang, Ziyi, Xiao, Yushuo, Guan, Zhichao, Hu, Zhenjiang
Published in Functional and Logic Programming (2022)

by Chen, Sheng, Noor, Md Rabib
Published in Functional and Logic Programming (2022)

by Rozplokhas, Dmitry, Boulytchev, Dmitry
Published in Functional and Logic Programming (2022)

by van den Berg, Birthe, Schrijvers, Tom
Published in Functional and Logic Programming (03.05.2022)

by Faisal Al Ameen, Mahmudul, Kobayashi, Naoki, Sato, Ryosuke
Published in Functional and Logic Programming (2022)