Аннотация

We investigate how achievements of programming languages research can be used for designing and extending fact-oriented modeling languages. Our core contribution is that we show how extending fact-oriented modeling languages with the single concept of algebraic data types leads to a natural and straightforward modeling of complex information structures like unnamed collection types and higher order types.

Линки и ресурсы

тэги

сообщество

  • @voj
  • @dblp
@voj- тэги данного пользователя выделены