Dataflow languages and the semantics of context-dependent programming

Add to your list(s) Download to your calendar using vCal

• Andrej Ivašković
• Wednesday 13 February 2019, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Nathanael Arkor.

The dataflow programming paradigm, extending the idea of programming with streams, was defined and explored by Wadge and Ashcroft in the early 80s with their language Lucid. One possible way of looking at its formal semantics provides an introduction to a whole range of different analyses about context-dependent programming. In this talk, we will define a simple dataflow language, which will provide an introduction to programming with comonads. We assume basic familiarity with formal semantics and type systems, and we will be using some category theory later in the talk.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.