Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Tue 20 Sep 2016 11:50 - 12:15 at Noh Theater - Session 5 Chair(s): Robby Findler

Datalog may be considered either an unusually powerful query language or a
carefully limited logic programming language. Datalog is declarative,
expressive, and optimizable, and has been applied successfully in a wide
variety of problem domains. However, most use-cases require extending Datalog
in an application-specific manner. In this paper we define Datafun, an
analogue of Datalog supporting higher-order functional programming. The key
idea is to track monotonicity with types.

Tue 20 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

10:35 - 12:15: Research Papers - Session 5 at Noh Theater
Chair(s): Robby FindlerNorthwestern University
icfp-2016-papers10:35 - 11:00
Manuel SerranoInria, France, Vincent PrunetInria, France
icfp-2016-papers11:00 - 11:25
Ilya SergeyUniversity College London, UK
icfp-2016-papers11:25 - 11:50
Kento EmotoKyushu Institute of Technology, Japan, Kiminori MatsuzakiKochi University of Technology, Japan, Zhenjiang HuNational Institute of Informatics, Japan, Akimasa MorihataUniversity of Tokyo, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
icfp-2016-papers11:50 - 12:15
Michael ArntzeniusUniversity of Birmingham, UK, Neel KrishnaswamiUniversity of Birmingham, UK