Gradual Guarantee for Fj with Lambda-Expressions

AuthID
P-00Y-T4J
4
Author(s)
Angelo, P
·
Bono, V
·
Dezani Ciancaglini, M
·
1
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 in FTfJP@ECOOP
Pages: 32-38 (7)
Conference
25Th Acm International Workshop on Formal Techniques for Java-Like Programs (Ftfjp), Date: JUL 18, 2023, Location: Seattle, WA
Indexing
Publication Identifiers
Dblp: conf/ftfjp/AngeloBDF23
Scopus: 2-s2.0-85170082280
Wos: WOS:001118052000006
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.