Java & Lambda: a Featherweight Story

We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and intersection types are grafted on Java 8, by study...

Full description

Saved in:
Bibliographic Details
Published inLogical methods in computer science Vol. 14, Issue 3
Main Authors Bettini, Lorenzo, Bono, Viviana, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti
Format Journal Article
LanguageEnglish
Published Logical Methods in Computer Science e.V 05.09.2018
Subjects
03b70, 03b15, 68q55
computer science - logic in computer science
computer science - programming languages
Online AccessGet full text
ISSN1860-5974
1860-5974
DOI10.23638/LMCS-14(3:17)2018

Cover