Integrating Java and Prolog through Generic Methods and Type Inference
Address = {Fortaleza, Cear{\'a}, Brazil},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
Doi = {10.1145/1363686.1363740},
Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-59593-753-7},
Keywords = {Generics, Java, Multiparadigm, Prolog, Wildcards},
Month = {16--20~} # mar,
Note = {Special Track on Programming Languages},
Pages = {198--205},
Publisher = {ACM},
Title = {Integrating {J}ava and {P}rolog through Generic Methods and Type Inference},
Volume = 1,
Year = 2008}