Max Schäfer, Oege de Moor
Type inference for datalog with complex type hierarchies
POPL, 2010.
@inproceedings{POPL-2010-SchaferM, author = "Max Schäfer and Oege de Moor", booktitle = "{Proceedings of the 37th Symposium on Principles of Programming Languages}", doi = "10.1145/1706299.1706317", editor = "Manuel V. Hermenegildo and Jens Palsberg", isbn = "978-1-60558-479-9", pages = "145--156", publisher = "{ACM}", title = "{Type inference for datalog with complex type hierarchies}", year = 2010, }