maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
Index - Y