1 paper
Jan de Muijnck-Hughes, Guillaume Allais, Edwin Brady
Language Workbenches offer language designers an expressive environment in which to create their DSLs. Similarly, research into mechanised meta-theory has shown how dependently typ…