An Adequate While-Language for Hybrid Computation (bibtex)

Reference:

Sergey Goncharov and Renato Neves: An Adequate While-Language for Hybrid Computation, In Ekaterina Komendantskaya, ed.: Proceedings of the 21th International Symposium on Principles and Practice of Declarative Programming, (PPDP 2019), ACM, 2019. [preprint]

Bibtex Entry:

@InProceedings{   GoncharovNeves19,
  author        = {Sergey Goncharov and Renato Neves},
  title         = {An Adequate While-Language for Hybrid Computation},
  booktitle     = {Proceedings of the 21th International Symposium on
                  Principles and Practice of Declarative Programming, {(PPDP
                  2019)}},
  nopages       = {1:1--1:4},
  year          = {2019},
  comment       = {<a href="https://arxiv.org/abs/1902.07684">[preprint]</a>},
  editor        = {Ekaterina Komendantskaya},
  publisher     = {{ACM}}
}