Compositional semantics for new paradigms: probabilistic, hybrid and beyond