15 citations · 63 across the 16 of their papers we have counts for
1 paper · 2 filters
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini +2
We present FJ&λ, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, λ-expressions, and intersection…