[ACM Press the 6th international confere
β
Weaver, Philip; Kimmell, Garrin; Frisby, Nicolas; Alexander, Perry
π
Article
π
2007
π
ACM Press
β 189 KB
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is that families of language constructs can be independently specified and later combined in a mix-and-match fashion to creat