by Melo, Leandro T. C., Ribeiro, Rodrigo G., Guimarães, Breno C. F., Pereira, Fernando Magno Quintão
Published in ACM transactions on programming languages and systems (01.12.2020)

by Zolotas, Athanasios, Matragkas, Nicholas, Devlin, Sam, Kolovos, Dimitrios S., Paige, Richard F.
Published in Software and systems modeling (01.02.2019)

by Vazou, Niki, Tanter, Éric, Van Horn, David
Published in Proceedings of ACM on programming languages (24.10.2018)

by Kong, Maiying, Xu, Sheng, Levy, Steven M., Datta, Somnath
Published in Computational statistics & data analysis (01.05.2015)

by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro
Published in Journal of logical and algebraic methods in programming (01.07.2015)

by Kfoury, A.J., Wells, J.B.
Published in Theoretical computer science (01.01.2004)

by Vazou, Niki, Tanter, Éric, David Van Horn
Published in arXiv.org (30.10.2019)

by Turner, Raymond
Published in Theoretical computer science (06.09.2001)

by Do, TheAnh, Khoo, Siau-Cheng, Fong, Alvis Cheuk Ming, Pears, Russel, Quan, Tho Thanh
Published in Information and software technology (01.10.2015)

by Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)

by NISHIZAKI, Shin-Ya
Published in Higher-order and symbolic computation (2000)

by van Deursen, Arie, Moonen, Leon
Published in Science of computer programming (01.04.2006)

by Liquori, Luigi, Wack, Benjamin
Published in Electronic notes in theoretical computer science (20.01.2005)

by Fujita, Ken-Etsu
Published in RAIRO. Informatique théorique et applications (01.11.2000)

by Makholm, Henning, Wells, J. B.
Published in Lecture notes in computer science (2005)

by Amtoft, Torben, Kfoury, Assaf J., Pericas-Geertsen, Santiago M.
Published in Computer languages (01.04.2002)

by Fernández, Maribel, Gabbay, Murdoch J.
Published in Types for Proofs and Programs (2007)

by López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan
Published in Functional and Constraint Logic Programming (2010)

by YABE, FUMIE
Published in Japanese Psychological Research (01.01.1987)

by CHEN, YAN, DUNFIELD, JOSHUA, HAMMER, MATTHEW A., ACAR, UMUT A.
Published in Journal of functional programming (01.01.2014)