@misc{indiciae2af9ea340ec1,
  title = {A Typeful Integration of SQL into Curry},
  author = {Michael Hanus and Julia Krone},
  year = {2017},
  doi = {10.4204/eptcs.234.8},
  url = {https://arxiv.org/abs/1701.00631},
  note = {Source identifier: 1701.00631}
}