Type Theory as a Language Workbench

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…