A Typeful Integration of SQL into Curry. - Michael Hanus; Julia Krone (WLP / WFLP, 2017)