Title: Algebraic semantics of domain-specific languages