Didn't expect a tweet about window stickers to go viral. But in any event, if you are interested in learning about functional programming (Haskell, Agda, Lean), the University of Nottingham is a great place to study as we have lots of courses in this area :-).

Nice to see some Haskell at the entrance of our Computer Science building :-)

RT @JAldrichPL: All @TheOfficialACM publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this….

RT @haskellhutt: FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Fun….

FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share!

Just finished teaching my introductory and advanced Haskell courses for this year! The full set of videos for each course are now freely available from and

Just a few days left now to register for the Midlands Graduate School (MGS)! Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. 7-11 April 2025, Sheffield, UK. Registration closes Monday 24th March. Please share!

The Shark is Broken with @ianxshaw was the best thing I've ever seen in the theatre - amazing cast and performances, and we were quite literally hooked from start to finish! @RoyalNottingham

Registration is now open for the Midlands Graduate School (MGS) in the Foundations of Computing Science, 7-11 April 2025, Sheffield, UK. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more. Please share!

Great @computer_phile video on automatic differentiation by @MarkrdWilliams from the FP lab!

New @computer_phile video just dropped :-)

FP fans - looking for some interesting new year reading? JFP has just published the latest batch of ten PhD abstracts for your reading pleasure, with links to the full dissertations.

Haven't made beef bourguignon in ages, but the lost-in-time days between xmas and new year is a perfect chance to have another go. It took most of the day, but worked out really well. Many thanks to our local butcher @JohnnyPusztai for the excellent beef!

FP folks - 10 fully funded PhD studentships available in Nottingham! Please share, and pass on to excellent students who may be interested in joining the Functional Programming Lab.

UK CS folks: this years Midlands Graduate School Christmas Seminars will be held on the afternoon of Tuesday 17th December at the University of Sheffield. Please share!

A different kind of "black friday" - a board full of dark beers at our fabulous local @KraftWerksNotts :-)

FP folks -- please encourage recently completed PhD students to publish their dissertation abstracts in the Journal of Functional Programming: simple process, no refereeing, open access, 200+ published to date, deadline 29th November 2024. Please share!

Thanks to Jacob Neumann, our research group now has its own mugs! You may be able to spot a number of familiar things incorporated into the group logo :-)

RT @headinthebox: This post is making the rounds. Everyone, of course, is wrong about how to write compilers; you don't write them, you *ca….

Great article!.