| Login | Create Account |
Items where Author is "Bellia, Marco"
Group by: Item Type | No Grouping Number of items: 9. 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. |
