Integrating Java and Prolog through generic methods and type inference.

Maurizio Cimadamore, Mirko Viroli

Browse the full SAC paper archive.