Section: New Software and Platforms

T-calculus

Sketched in [10], the T-calculus is a Domain Specific Language (See  [30] for an early note by Hudak about the notion of Domain Specific Language, and see  [29], [32] for application of this notion is computer music.) to provide simple and robust high-level description mechanisms of reactive systems. It will offer a programmatic view of the tile modeling paradigm [3], [9]. Its definition has been refined a number of times (see e.g. [10], [8]). A prototype implementation of its reactive kernel has eventually been achieved in Haskell on top of the Euterpea libraries during the spring 2016 [15], [21], [19], [23]