Datafun: a functional Datalog

DOI10.1145/2951913.2951948zbMath1360.68312OpenAlexW2517279098MaRDI QIDQ2982016

Neelakantan R. Krishnaswami, Michael Arntzenius

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://www.repository.cam.ac.uk/handle/1810/267161

zbMATH Keywords

operational semanticsdomain-specific languagesdenotational semanticslogic programmingfunctional programmingDatalogtype theoryPrologadjoint logic

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

A functional account of probabilistic programming with possible worlds. Declarative pearl

Uses Software

• Prolog
• Datafun
• Datalog

This page was built for publication: Datafun: a functional Datalog