SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 23:20 - 23:40 at SPLASH-I - F-3A Chair(s): Ramy Shahin, Hidehiko Masuhara
Fri 20 Nov 2020 11:20 - 11:40 at SPLASH-I - F-3A Chair(s): Stefan Marr, Reuben Rowe

Datalog is a declarative logic programming language that has been used in a
variety of applications, including big-data analytics, language processing,
networking and distributed systems, and program analysis.

In this paper, we propose first-class Datalog constraints as a mechanism to
construct, compose, and solve Datalog programs at run time. The benefits are
twofold: We gain the full power of a functional programming language to operate
on Datalog constraints-as-values, while simultaneously we can use Datalog where
it really shines: to declaratively express and solve fixpoint problems.

We present an extension of the lambda calculus with first-class Datalog
constraints, including its semantics and a type system with row polymorphism
based on Hindley-Milner. We prove soundness of the type system and implement it
as an extension of the Flix programming language.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: F-3AOOPSLA at SPLASH-I +12h
Chair(s): Stefan MarrUniversity of Kent, Reuben RoweUniversity College London
11:00 - 11:20
Talk
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
11:40 - 12:00
Talk
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
12:00 - 12:20
Talk
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached
23:00 - 00:20: F-3AOOPSLA at SPLASH-I
Chair(s): Ramy ShahinUniversity of Toronto, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
23:40 - 00:00
Talk
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
00:00 - 00:20
Talk
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached