Type Inference in Logic Programming Context

Cedric Luiz de Carvalho, Eduardo Costa Pereira, Rita Maria da Silva Julia. Type Inference in Logic Programming Context. In ICEIS. pages 764, 1999.

@inproceedings{CarvalhoPJ99a,
  title = {Type Inference in Logic Programming Context},
  author = {Cedric Luiz de Carvalho and Eduardo Costa Pereira and Rita Maria da Silva Julia},
  year = {1999},
  tags = {type inference, logic programming, programming, context-aware, logic},
  researchr = {https://researchr.org/publication/CarvalhoPJ99a},
  cites = {0},
  citedby = {0},
  pages = {764},
  booktitle = {ICEIS},
}