Maurizio Cimadamore, Mirko Viroli. Integrating Java and Prolog through generic methods and type inference. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 198-205, ACM, 2008. [doi]
Abstract is missing.