Sorted HiLog: Sorts in Higher-Order Logic Data Languages.

Weidong Chen, Michael Kifer

Browse the full ICDT paper archive.