Work

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software