OCCHIUTO, MARIA EUGENIA Statistiche
OCCHIUTO, MARIA EUGENIA
DIPARTIMENTO DI INFORMATICA
Programming Self-Assembly of DNA Tiles
2016-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
DNA Tiles, Wang Tiles and Combinators
2014-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Programming Self-Assembly of DNA Tiles
2014-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
DNA Tiles, Wang Tiles and Combinators
2013-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types
2013-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures
2012-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
The Equivalence of Reduction and Translation Semantics of Java Simple Closures
2012-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version)
2012-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Higher Order Programming in Java,
2011-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Properties of Java Simple Closures
2011-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures
2011-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version
2011-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Type Safety for Java Simple Closures
2010-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: A Translation Semantics for Closures in Java
2009-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters
2009-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
A Preprocessor for Java with m-parameters, CS&P'2008
2008-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
2008-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Software
2007-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Pre-processing Approach in Java
2007-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA
From Object Calculus to Java with Passing and Extraction of Methods
2006-01-01 Bellia, Marco; Occhiuto, MARIA EUGENIA