![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Wednesday 13 February 2019, 11:00-12:00
Dataflow languages and the semantics of context-dependent programming
- 👤 Speaker: Andrej Ivašković
- 📅 Date & Time: Wednesday 13 February 2019, 11:00 - 12:00
- 📍 Venue: Rainbow Room (FS07), Computer Laboratory
Questions? Contact
Nathanael Arkor
Abstract
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.
Series This talk is part of the Logic & Semantics for Dummies series.
Included in Lists
- Logic & Semantics for Dummies
- Rainbow Room (FS07), Computer Laboratory
- tcw57’s list
- yk373's list
Note: Ex-directory lists are not shown.