Publications

Gradual Guarantee for Fj with Lambda-Expressions

AuthID
P-00Y-T4J

Author(s)

Ângelo, P

Bono, V

Ciancaglini, MD

Florido, M

Editor(s)

Tomb,A

Document Type

Proceedings Paper

Year published

2023

Published

in Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023 in FTfJP@ECOOP

Pages: 32-38 (6)

Conference

25Th Acm International Workshop on Formal Techniques for Java-Like Programs, Ftfjp 2023, Co-Located with Ecoop and Issta 2023, Date: 18 July 2023, Location: Seattle

Indexing