Publications

• Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings, 2008) — Maurizio Cimadamore, Mirko Viroli — Maurizio Cimadamore, Mirko Viroli
• A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings, 2007) — Maurizio Cimadamore, Mirko Viroli — Maurizio Cimadamore, Mirko Viroli