Author: "LIQUORI, LUIGI" / Publisher: acm - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"LIQUORI, LUIGI"' showing total 7 results

Start Over Author "LIQUORI, LUIGI" Publisher acm

7 results on '"LIQUORI, LUIGI"'

1. Towards a Logical Framework with Intersection and Union Types

Author: Stolze, Claude, primary, Liquori, Luigi, additional, Honsell, Furio, additional, and Scagnetto, Ivan, additional
Published: 2017
Full Text: View/download PDF

2. A backward-compatible protocol for inter-routing over heterogeneous overlay networks

Author: Hoang, Giang Ngo, primary, Liquori, Luigi, additional, Ciancaglini, Vincenzo, additional, Maksimovic, Petar, additional, and Chan, Hung Nguyen, additional
Published: 2013
Full Text: View/download PDF

3. LFP

Author: Honsell, Furio, primary, Lenisa, Marina, additional, Liquori, Luigi, additional, Maksimovic, Petar, additional, and Scagnetto, Ivan, additional
Published: 2012
Full Text: View/download PDF

4. iRho

Author: Liquori, Luigi, primary and Serpette, Bernard Paul, additional
Published: 2004
Full Text: View/download PDF

5. Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

Author: Ciaffaglione, Alberto, primary, Liquori, Luigi, additional, and Miculan, Marino, additional
Published: 2003
Full Text: View/download PDF

6. Pure patterns type systems

Author: Barthe, Gilles, primary, Cirstea, Horatiu, additional, Kirchner, Claude, additional, and Liquori, Luigi, additional
Published: 2003
Full Text: View/download PDF

7. A lambda calculus of objects with self-inflicted extension

Author: Di Gianantonio, Pietro, primary, Honsell, Furio, additional, and Liquori, Luigi, additional
Published: 1998
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results