Implementing Hybrid Semantics: From Functional to Imperative (bibtex)

by Sergey Goncharov and Renato Neves

Reference:

Sergey Goncharov and Renato Neves: Implementing Hybrid Semantics: From Functional to Imperative, In Adenilso da Silva Simão Volker Stolz Violet Ka I Pun, ed.: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020), 2020. [preprint]

Bibtex Entry:

@InProceedings{GoncharovNevesEtAl20,
  author        = {Sergey Goncharov and {Renato Neves} and {José Proença}},
  title         = {Implementing Hybrid Semantics: From Functional to Imperative},
  booktitle     = {17th International Colloquium on Theoretical Aspects of
                  Computing (ICTAC 2020)},
  nopages       = {44--55},
  editor        = {Violet {K}a {I} {P}un, Adenilso da Silva Simão, Volker Stolz},
  noseries      = {{EPTCS}},
  novolume      = {126},
  year          = {2020},
  comment       = {<a href="https://arxiv.org/abs/2009.14322">[preprint]</a>},
}