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. (accepted) [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>},
  note          = {(accepted)}
}
Powered by bibtexbrowser