Implementing Hybrid Semantics: From Functional to Imperative

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Sergey Goncharov, Renato Neves, José Proença

Journal title: Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Journal number: 12545

Journal publisher: Springer International Publishing

Published year: 2020

Published pages: 262-282

DOI identifier: 10.1007/978-3-030-64276-1_14

ISBN: 978-3-030-64275-4