Type classes in Haskell allow programmers to define functions that can be used on a set of
different types, with a potentially different implementation in each case. For example, type …

The study of self-organizing systems has now reached the tool-building phase, in which a
new discipline of self-managing systems engineering can begin to emerge. The next step is …

Financial and insurance contracts do not sound like promising territory for functional
programming and formal semantics, but in fact we have discovered that insights from …

Computational semantics is the art and science of computing meaning in natural language.
The meaning of a sentence is derived from the meanings of the individual words in it, and …

This paper studies the semantics of a central part of the Unified Modeling Language UML. It
discusses UML class, object and state diagrams and presents a new integrated semantics …

Asynchronous exceptions, such as timeouts are important for robust, modular programs, but
are extremely difficult to program with—so much so that most programming languages either …

Form-based applications range from simple web shops to complex enterprise resource
planning systems. Draheim and Weber adapt well-established basic modeling techniques in …

These course notes are addressed to a wide audience of people interested in modern
programming languages in general, ML-like languages in particular, or simply in OCaml …

This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO
allows modelling epistemic updates, graphical display of update results, graphical display of …

Spreadsheets play an important role in software organizations. Indeed, in large software
organizations, spreadsheets are not only used to define sheets containing data and …