Lab Lunch: 17 April 2018 - Jan Stolarek

Title: Language Integrated Provenance in Haskell

Abstract:

This talk builds on a recent approach called language-integrated provenance, which extends language-integrated query techniques with source-to-source query translations that record provenance. In previous work, a proof of concept was developed in a research programming language called Links, which supports sophisticated Web and database programming. In this talk I will show how to adapt this approach to work in Haskell building on top of the Database-Supported Haskell (DSH) library.