Datafun: a functional Datalog.

Michael Arntzenius, Neelakantan R. Krishnaswami

Browse the full ICFP paper archive.