@misc{indiciae3dcd88b9b3eb,
  title = {Vector Programming Using Structural Recursion},
  author = {Marco T. Morazán},
  year = {2018},
  doi = {10.4204/eptcs.270.1},
  url = {https://arxiv.org/abs/1805.05124},
  note = {Source identifier: 1805.05124}
}