UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Author is "Bellia, Marco"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 9.

Book

Bellia, Marco and Occhiuto, Maria Eugena (2013) Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2012) The Equivalence of Reduction and Translation Semantics of Java Simple Closures (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2011) Proving Translation and Reduction Semantics Equivalent for Java Simple Closures: Extended Version. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2009) Java$\Omega$: Preprocessing Closures in Java. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Occhiuto, Maria Eugena and Bellia, Marco (2008) Java$\Omega$: The Structures and the Implementation of a Preprocessor for Java with m\_parameters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2006) Methods Passed as Parameters in Java: A Pre-processing Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2006) From Object Calculus to Java with Passing and Extraction of Methods. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (2001) New Bounds in Parallel Unification. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bellia, Marco and Occhiuto, Maria Eugena (1999) Another PRAM algorithm for finding connected components of sparse graphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Mon Sep 16 21:16:21 2019 CEST.