Search

• < Previous
• 1
• Next >

---

Typing Copyless Message Passing

Viviana Bono ; Luca Padovani.

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is&nbsp;[&hellip;]

---

Java & Lambda: a Featherweight Story

Lorenzo Bettini ; Viviana Bono ; Mariangiola Dezani-Ciancaglini ; Paola Giannini ; Betti Venneri.

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 studying&nbsp;[&hellip;]

---