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)

Published in ACM transactions on programming languages and systems

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 (01.09.2000)

Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

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)

Published in Lecture notes in computer science

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)