autore : Maurizio Cimadamore

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (FOCLASA 2007 @ CONCUR'07) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore

On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli

Integrating Java and Prolog through Generic Methods and Type Inference (SAC 2008) — Maurizio Cimadamore, Mirko Viroli

A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli