Implementing Hybrid Semantics: From Functional to Imperative.

Sergey Goncharov, Renato Neves, Jos Proena

Browse the full ICTAC paper archive.