Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 14:00 - 14:30 at Aurora Borealis - Paper Session 6: Effects Chair(s): Ki Yung Ahn

We present a novel method for ensuring that relational database queries in monadic embedded languages are well-scoped, even in the presence of arbitrarily nested joins and aggregates. Demonstrating our method, we present a simplified version of Selda, a monadic relational database query language embedded in Haskell, with full support for nested inner queries. To our knowledge, Selda is the first relational database query language to support fully general inner queries using a monadic interface.

In the Haskell community, monads are the de facto standard interface to a wide range of libraries and EDSLs. They are well understood by researchers and practitioners alike, and they enjoy first class support by the standard libraries. Due to the difficulty of ensuring that inner queries are well-scoped, database interfaces in Haskell have previously either been forced to forego the benefits of monadic interfaces, or have had to do without the generality afforded by inner queries.

Fri 23 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00: Haskell 2019 - Paper Session 6: Effects at Aurora Borealis
Chair(s): Ki Yung AhnHannam University
haskellsymp-2019-papers13:30 - 14:00
Research paper
Tom SchrijversKU Leuven, Maciej PirógUniversity of Wrocław, Nicolas WuImperial College London, Mauro JaskelioffCONICET, Argentina
haskellsymp-2019-papers14:00 - 14:30
Research paper
Anton EkbladChalmers University of Technology