Featured Image (Width 750px, Height 340px)
Featured Image Caption
Featured Image Credit
Domain Specific Languages of Mathematics (DSLsofMath)
(DSLsofMath is a pedagogical project developing the new BSc level course described below)
Software engineering involves modelling very different domains (e.g., business processes, typesetting, natural language, etc.) as software systems. The main idea of this course is that this kind of modelling is also important when tackling classical mathematics. In particular, it is useful to introduce abstract datatypes to represent mathematical objects, to specify the mathematical operations performed on these objects, to pay attention to the ambiguities of mathematical notation and understand when they express overloading, overriding, or other forms of generic programming. We shall emphasise the dividing line between syntax (what mathematical expressions look like) and semantics (what they mean). This emphasis leads us to naturally organise the software abstractions we develop in the form of domainspecific languages, and we will see how each mathematical theory gives rise to one or more such languages, and appreciate that many important theorems establish "translations" between them.
Mathematical objects are immutable, and, as such, functional programming languages are a very good fit for describing them. We shall use Haskell as our main vehicle, but only at a basic level, and we shall introduce the elements of the language as they are needed. The mathematical topic treated have been chosen either because we expect all students to be familiar with them (for example, limits of sequences, continuous functions, derivatives) or because they can be useful in many applications (e.g., analytic functions, Laplace transforms)
Start date
01/08/2014
End date
The project is closed: 30/06/2016

Full Professor, Functional Programming division, and Deputy Head of Department, Computer Science and Engineering.
My twitter profile says: Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.

Guest researcher, Functional Programming division, Department of Computer Science and Engineering.

PhD Student, Information Security division, Department of Computer Science and Engineering.
Funded by
 Chalmers University of Technology (Site, Sweden)
 Chalmers University of Technology (Publisher, Sweden)
This page is only available in english