Session Title Type Systems for DSLs

Session Type Case Study

Duration 90 minutes

Session Description

Non-trivial DSLs, as they are possible with todays tools, often include expressions. Once you have expressions, you usually also have several different (primitive and user-defined) types that need to be type checked with the help of a type system. In this session, I will explain what type systems are, how they are different from normal constraint checking, and which typing rules you will often need. I will then illustrate the concepts with MPS and Xtext (using the XText typesystem framework).

Speaker(s) Markus Völter (independent/itemis AG)

Markus Völter works as an independent researcher, consultant and coach for itemis AG in Stuttgart, Germany. His focus is on software architecture, model-driven software development and domain specific languages as well as on product line engineering. Markus also regularly writes (articles, patterns, books) and speaks (trainings, conferences) on those subjects. Contact him via

Intended Audience Developers with initial experience building DSLs