by Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)

by Stolze, Claude, Miculan, Marino, Di Gianantonio, Pietro
Published in Software and systems modeling (01.04.2023)

by Stolze, Claude, Miculan, Marino, Di Gianantonio, Pietro
Published in Formal Aspects of Component Software (2021)

by Scalas, Alceste, Yoshida, Nobuko
Published in Electronic proceedings in theoretical computer science (08.04.2017)

by Bejleri, Andi, Domnori, Elton, Viering, Malte, Eugster, Patrick, Mezini, Mira
Published in arXiv.org (01.02.2019)

by Yang, Weizhen
Year of Publication 2017

by Barbanera, Franco, Bono, Viviana, Dezani-Ciancaglini, Mariangiola
Published in Journal of logical and algebraic methods in programming (01.01.2025)

by Bejleri, Andi, Yoshida, Nobuko
Published in Electronic notes in theoretical computer science (03.07.2009)

Published in Lecture notes in computer science

by Alceste Scalas, Yoshida, Nobuko
Published in arXiv.org (11.04.2017)

Published in Lecture notes in computer science

by Blechschmidt, Paula
Year of Publication 12.09.2025

by Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don
Year of Publication 2016

by Barbanera, Franco, Dezani-Ciancaglini, Mariangiola
Year of Publication 19.08.2025

by Kokke, Wen, Dardha, Ornela
Published in Logical methods in computer science (01.01.2023)

by Brun, Matthew Alan Le, Dardha, Ornela
Year of Publication 24.04.2024

by Brun, Matthew Alan Le, Dardha, Ornela
Year of Publication 25.01.2023

by Le Brun, Matthew Alan, Dardha, Ornela
Published in arXiv.org (24.04.2024)

Published in Lecture notes in computer science

by Caires, Luís, Pérez, Jorge A, Pfenning, Frank, Toninho, Bernardo
Year of Publication 02.07.2019