@misc{indiciaed0d422e60a1d,
  title = {Typed Embedding of a Relational Language in OCaml},
  author = {Dmitrii Kosarev and Dmitry Boulytchev},
  year = {2018},
  doi = {10.4204/eptcs.285.1},
  url = {https://arxiv.org/abs/1805.11006},
  note = {Source identifier: 1805.11006}
}