[Haskell] Doctoral or Post-Doctoral Position in Programming Language Theory & Implementation

I am looking for a new member to join my research team in either a doctoral or post-doctoral position. Research topics of particular interest are: * type systems * functional programming * monads, continuations, effect handlers, ... * mechanisation of programming language meta-theory * category

Re: Meet up at ICFP?

yeah, i couldn't make it too :( On Fri, Sep 16, 2016 at 9:51 AM, Mario Blažević wrote: > On 2016-09-14 02:17 PM, José Manuel Calderón Trilla wrote: > >> Richard has also volunteered to act as secretary for the meeting so >> that the minutes of the meeting can be posted.