From Datalog to flix: a declarative language for fixed points on lattices.

Magnus Madsen, Ming-Ho Yee, Ondrej Lhotk

Browse the full PLDI paper archive.