Facilitating the spread of knowledge and innovation in professional software development



Choose your language

InfoQ Homepage Presentations Type Systems for DSLs

Type Systems for DSLs



Markus Völter discusses what type systems are and some of the typing rules usually needed for DSLs, exemplifying the concepts with Xtext and MPS.


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

About the conference

The Code Generation conference is Europe's leading event on Domain-Specific Languages, Model-Driven Software Development and Language Workbenches. The event has a strong practical focus on sharing experiences of what does and doesn't work.

Recorded at:

Aug 16, 2011

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • somewhat difficult to follow

    by Ranjix ranjix,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    - subject, somewhat misplaced IMO. There is a reason why DSLs contain the D and the S in front, so they don't *always* have to deal with types :)
    - minor corrections needed in the slides (recusion?)
    - the eclipse code is unreadable, in the recording
    I respect the try, couldn't get past the code presentation (again, for me, unreadable)

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p


Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.