Datafun, a pure functional language co‑created by Neel Krishnaswami, extends Datalog with declarative fixed‑point semantics over semilattices. POPL 2020 showcased incremental seminaïve evaluation, speeding up data‑centric computations. #Datafun
0
0
1
0