Typed Datalog.

David Zook, Emir Pasalic, Beata Sarna-Starosta

Browse the full PADL paper archive.