5 papers
An Internal Language for Categories Enriched over Generalised Metric Spaces
Fredrik Dahlqvist, Renato Neves
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence e…
Implementing Hybrid Semantics: From Functional to Imperative
Sergey Goncharov, Renato Neves, José Proença
Hybrid programs combine digital control with differential equations, and naturally appear in a wide range of application domains, from biology and control theory to real-time softw…
An Adequate While-Language for Hybrid Computation
Sergey Goncharov, Renato Neves
Hybrid computation combines discrete and continuous dynamics in the form of an entangled mixture inherently present both in various natural phenomena, and in applications ranging f…
A Semantics for Hybrid Iteration
Sergey Goncharov, Julian Jakob, Renato Neves
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in t…
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
Fredrik Dahlqvist, Renato Neves
Emerging computational paradigms, such as probabilistic and hybrid programming, introduce new primitive operations that often need to be combined with classic programming construct…