[Club2] Mi. 18.01. 15.00 Uhr

[Norbert Schirmer]

Diese Woche:

Mi. 18.01.06: 15.00 Uhr,  in Alan Turing (00.09.055),

Florian Haftmann:

"Single-Threadedness in Isabelle ML Source
 a gentle glimpse"

  Abstract

Single threadedness is a common term in functional programming and
summarizes a certain way to think about  explicitly representing
"states" or "contexts".

This rather technically oriented presentation gives an overview how such
"states" or "contexts" may be handled in a leightweight and uniform way
using a set of fundamental combinators in connection with some
conventions how to write things.

Though in huge parts motivated by pratical programming experience, using
this approach also has an impact on how to think about "statefulness" in
general.


   Norbert