An Adequate While-Language for Hybrid Computation (bibtex)
by Sergey Goncharov and Renato Neves
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.
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},
  editor        = {Ekaterina Komendantskaya},
  publisher     = {{ACM}}
}
Powered by bibtexbrowser