OCCHIUTO, MARIA EUGENIA Statistiche

OCCHIUTO, MARIA EUGENIA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autore(i) File
Programming Self-Assembly of DNA Tiles 1-gen-2016 Bellia, Marco; Occhiuto, MARIA EUGENIA
DNA Tiles, Wang Tiles and Combinators 1-gen-2014 Bellia, Marco; Occhiuto, MARIA EUGENIA
Programming Self-Assembly of DNA Tiles 1-gen-2014 Bellia, Marco; Occhiuto, MARIA EUGENIA
DNA Tiles, Wang Tiles and Combinators 1-gen-2013 Bellia, Marco; Occhiuto, MARIA EUGENIA
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types 1-gen-2013 Bellia, Marco; Occhiuto, MARIA EUGENIA
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures 1-gen-2012 Bellia, Marco; Occhiuto, MARIA EUGENIA
The Equivalence of Reduction and Translation Semantics of Java Simple Closures 1-gen-2012 Bellia, Marco; Occhiuto, MARIA EUGENIA
The Equivalence of Reduction and Translation Semantics, of Java Simple Closure(Extended Version) 1-gen-2012 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Higher Order Programming in Java, 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Properties of Java Simple Closures 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version 1-gen-2011 Bellia, Marco; Occhiuto, MARIA EUGENIA
Proving Type Safety for Java Simple Closures 1-gen-2010 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: A Translation Semantics for Closures in Java 1-gen-2009 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters 1-gen-2009 Bellia, Marco; Occhiuto, MARIA EUGENIA
A Preprocessor for Java with m-parameters, CS&P'2008 1-gen-2008 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Preprocessing Approach to Higher Order in Java 1-gen-2008 Bellia, Marco; Occhiuto, MARIA EUGENIA
JavaOmega: Software 1-gen-2007 Bellia, Marco; Occhiuto, MARIA EUGENIA
Methods as Parameters: A Pre-processing Approach in Java 1-gen-2007 Bellia, Marco; Occhiuto, MARIA EUGENIA
From Object Calculus to Java with Passing and Extraction of Methods 1-gen-2006 Bellia, Marco; Occhiuto, MARIA EUGENIA