CINECA IRIS Institutional Research Information System

BELLIA, MARCO Statistiche

BELLIA, MARCO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 66 (tempo di esecuzione: 0.096 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
JavaW: Higher Order Programming in Java 1-gen-2011 Bellia, Marco; Occhiuto, M. E.
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, M. E.
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
JavaOmega: A Preprocessor for Java with M-parameters 1-gen-2008 Bellia, Marco; Occhiuto, M. E.
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 Preprocessing Approach in Java 1-gen-2007 Bellia, Marco; OCCHIUTO M., Eugenia
From Object Calculus to Java with Passing and Extraction of Methods 1-gen-2006 Bellia, Marco; Occhiuto, MARIA EUGENIA