Multi-Graded Featherweight Java

Riccardo Bianchini, Francesco Dagnino, Paola GIANNINI, Elena Zucca

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	1-27
Number of pages	27
DOIs	https://doi.org/10.4230/lipics.ecoop.2023.3
Publication status	Published - 2023
Event	37th European Conference on Object-Oriented Programming (ECOOP 2023) - Seattle Duration: 1 Jan 2023 → …

Conference	37th European Conference on Object-Oriented Programming (ECOOP 2023)
City	Seattle
Period	1/01/23 → …

Keywords

@conference{fc0b5cf6b5264ed1886aad39d4db4095,

title = "Multi-Graded Featherweight Java",

keywords = "Graded modal types Java, Graded modal types Java",

author = "Riccardo Bianchini and Francesco Dagnino and Paola GIANNINI and Elena Zucca",

year = "2023",

doi = "10.4230/lipics.ecoop.2023.3",

language = "English",

pages = "1--27",

note = "37th European Conference on Object-Oriented Programming (ECOOP 2023) ; Conference date: 01-01-2023",

}

TY - CONF

T1 - Multi-Graded Featherweight Java

AU - Bianchini, Riccardo

AU - Dagnino, Francesco

AU - GIANNINI, Paola

AU - Zucca, Elena

PY - 2023

Y1 - 2023

KW - Graded modal types Java

UR - https://iris.uniupo.it/handle/11579/159702

U2 - 10.4230/lipics.ecoop.2023.3

DO - 10.4230/lipics.ecoop.2023.3

M3 - Paper

SP - 1

EP - 27

T2 - 37th European Conference on Object-Oriented Programming (ECOOP 2023)

Y2 - 1 January 2023

ER -