PLDB Top 1,000 Features Creators Resources Blog Explore Download

datafun

< >

datafun is an open source programming language created in 2015 by Michael Arntzenius.

Source code:

git clone https://github.com/rntz/datafun

#905on PLDB

9Years Old

Research on integrating datalog & lambda calculus via monotonicity types

datafun website
datafun is developed on GitHub and has 330 stars
datafun first developed in University of Birmingham
Read more about datafun on the web: 1.

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 624 · feedback@pldb.io