@misc{indiciaebf6b63756bc6,
  title = {A Linear First-Order Functional Intermediate Language for Verified Compilers},
  author = {Sigurd Schneider and Gert Smolka and Sebastian Hack},
  year = {2015},
  url = {https://arxiv.org/abs/1503.08665},
  note = {Source identifier: 1503.08665}
}