Dream types: a domain specific type system for component-based message-oriented middleware

@article{Bidinger2005DreamTA,
  title={Dream types: a domain specific type system for component-based message-oriented middleware},
  author={Philippe Bidinger and Matthieu Leclercq and Vivien Qu{\'e}ma and Alan Schmitt and Jean-Bernard Stefani},
  journal={ACM SIGSOFT Software Engineering Notes},
  year={2005},
  volume={31}
}
We present a type system for the Dream component-based message-oriented middleware. This type system aims at preventing the erroneous use of messages, such as the access of missing content. To this end, we adapt to our setting a type system developed for extensible records.