by Zsok, Viktoria, Porkolab, Zoltan, Horvath, Zoltan
Year of Publication 2019

by Jeannin, Jean-Baptiste, Kozen, Dexter, Silva, Alexandra
Published in Fundamenta informaticae (01.01.2017)

by Branch, Philip, Weinstock, Phillip
Published in Electronics (Basel) (01.09.2024)

by Franceschino, Lucas, Pichardie, David, Talpin, Jean-Pierre
Published in Static Analysis (2021)

by Omar Iván Trejos Buriticá
Published in Tecnura (01.04.2018)

by Gilmore, Stephen
Year of Publication 2013

by Zsók, Viktória, Horváth, Zoltán, Plasmeijer, Rinus
Year of Publication 2012

by Stephen Gilmore
Year of Publication 2005

by Xia, Youshen, Wang, Jun
Published in IEEE transactions on circuits and systems. I, Regular papers (01.07.2004)

by Evers, Sander, Achten, Peter, Kuper, Jan
Published in Implementation and Application of Functional Languages (2005)

by Ceresa, Martín A., Jaskelioff, Mauro J.
Published in Science of computer programming (01.05.2022)

by Lucas Franceschino, Pichardie, David, Talpin, Jean-Pierre
Published in arXiv.org (17.10.2021)

by Bartholomew, Peter
Year of Publication 31.08.2023

by Branch, Philip, Weinstock, Phillip
Published in Australasian Telecommunication Networks and Applications Conference [proceedings] (29.11.2023)

by Gilmore, Stephen
Year of Publication 01.01.2005

by Cameto, Gonzalo, Carboni, Alejandra, Koleszar, Victor, Mendez, Martin, Tejera, Gonzalo, Viera, Marcos, Wagner, Javier
Published in 2019 XIV Latin American Conference on Learning Technologies (LACLO) (01.10.2019)

by Hunt, John
Year of Publication 2019

by Zsók, Viktoria, Horvath, Zoltan, Csató, Lehel
Year of Publication 2015

Year of Publication 21.03.2015

by Piñeyro, Leonardo, Pardo, Alberto, Viera, Marcos
Published in Journal of computer languages (Online) (01.12.2021)