https://pdmosses.github.io
@tudelft-pl Delft, The Netherlands I am developing tool support for component-based specification of programming language semantics in the @plancomps project.
Peter Mosses