PhD Course Spring 2010: Functional Reactive Programming/Functional Hybrid Modelling

Topics & Course Plan

This mini course/seminar will cover at least the topics Functional Reactive Programming (FRP) and Functional Hybrid Modelling. This will roughly include

Introducing and explaining FRP by first focusing on Yampa, an arrows-based FRP variant embedded in Haskell
- Theory, incl. semantics and any necessary background
- Practical applications
- Hopefully hand-on exercises
- Implementation
Putting FRP into a wider context, e.g. other FRP variants and synchronous dataflow languages
Considering FRP-inspired research directions, e.g.
- Functional Hybrid Modelling
- FRP for integrative neuroscience

The detailed course plan is available at Henrik's web pages.

This PhD mini course/seminar will be led by Henrik Nilsson of the University of Nottingham.

This mini course/seminar will take place at the IT University in week 25 (21st-25th June 2010) in room 3A14 at 9:30-16:30.

There are no formal prerequisites for signing up for this mini course/seminar; however, you are expected to be able to follow a course at PhD level.

If you wish to prepare for it, you could brush up your knowledge on

If there is sufficient interest, we can form a Haskell Intro Reading Group with weekly meetings just before the mini course/seminar.

The PhD Study Board at the IT University has approved this course for a credit of 3 ECTS.

~~Please sign up by sending an email to Arne Glenstrup (ITU email: panic).~~

All these requirements must be fulfilled for obtaining course credit:

TBA