TY  - RPRT
TI  - Implementing Hybrid Semantics: From Functional to Imperative
AU  - Sergey Goncharov
AU  - Renato Neves
AU  - José Proença
PY  - 2020
UR  - https://arxiv.org/abs/2009.14322
ID  - 2009.14322
ER  -