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

icfp-2016-papers
10:35 - 12:15: Research Papers - Session 5 at Noh Theater
Chair(s): Robby FindlerNorthwestern University
icfp-2016-papers147436050000010:35 - 11:00
Talk
Manuel SerranoInria, France, Vincent PrunetInria, France
DOI
icfp-2016-papers147436200000011:00 - 11:25
Talk
Ilya SergeyUniversity College London, UK
DOI
icfp-2016-papers147436350000011:25 - 11:50
Talk
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
DOI
icfp-2016-papers147436500000011:50 - 12:15
Talk
Michael ArntzeniusUniversity of Birmingham, UK, Neelakantan R. KrishnaswamiUniversity of Birmingham, UK
DOI