Skip to content

An Adequate While-Language for Hybrid Computation.

Sergey Goncharov, Renato Neves

VenueCPPDP
Year2019
ProceedingsPPDP

Browse the full PPDP paper archive.