author : Maurizio Cimadamore
4
publications
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus () — 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 (2008) — Maurizio Cimadamore, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli