Model-driven engineering from modular monadic semantics: Implementation techniques targeting hardware and software (2009)

by W Harrison, A Procter, J Agron, G Kimmel, G Allwein
Venue:in Proceedings of the IFIP Working Conference on Domain Specific Languages (DSL09