7pm: The Hole Type and Nothing But the Type, by Stephen Compall
This talk will demonstrate GHC's new Type Holes feature, focusing on how it can help beginners learn to think about types in Haskell, and guide them in writing correct code.
8pm: Sorting algorithms through the eyes of a functional programmer, by Daniel James
Everyone knows sorting algorithms like bubble sort, insertion sort, selection sort, and quicksort. Maybe some already have an intuition that insertion and selection sort are closely related. This talk will dig into the details of folds and calculating with types. This sort of categorical, algebraic approach lets us think about algorithms and their specifications in a whole new light. In so doing, we will distill these sorts down to their essence, appreciating the duality that appears and specifying the mechanisms by which these different algorithms relate to one another.
Further reading (for those comfortable with this general approach already): http://www.cs.ox.ac.uk/people/daniel.james/sorting.html
(For those who aren't, we promise the talk will be more accessible than the paper!)