Integrating Java and Prolog through Generic Methods and Type Inference

@inproceedings{patj-sac08,
   address = {Fortaleza, Cear{\'a}, Brazil},
   apice = {PatjSac2008},
   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
}