Professor at @UoNComputerSci 💻 Haskeller https://xitter.cf/t.co/4wGcVx49vZ 📓 YouTuber https://xitter.cf/t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Nottingham, UK
Joined January 2018
- Tweets3.1K
- Following706
- Followers8.9K
- Likes8.5K
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
We’ve revised the paper based on POPL reviewer and community feedback (many thanks for all the great comments and suggestions), and you can now find the latest version at the original link: people.cs.nott.ac.uk/pszgmh/…
FP fans - for your reading pleasure, 22 new PhD abstracts have just been published in the Journal of Functional Programming, and are freely available to read with links to the full dissertations. jfp.episciences.org/articles…
FP friends -- Final call for nominations for the first JFP Richard Bird Distinguished Dissertation Award, to recognise an outstanding PhD dissertation in functional programming. Deadline 31st August 2026. tinyurl.com/jfp-bird-award
I'm delighted to announce that the next Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 5-9 April 2027, University of Birmingham, UK, organised by Eric Finster and Sean Moss. cs.nott.ac.uk/MGS/
Truly delighted to receive the ACM SIGPLAN Distinguished Educator Award. Functional programming has been a lifelong passion, and it's been great to share the fun with others over the years :-) sigplan.org/Awards/Educator/
Graham Hutton retweeted
I've been telling people for 25 years that Jane Street is not interested in formal methods.
No more!
And we're actively hiring to form a new formal methods team!
FP friends -- I'm pleased to announce that JFP is establishing the Richard Bird Distinguished Dissertation Award, to recognise an outstanding PhD dissertation in functional programming. Please share! tinyurl.com/jfp-bird-award
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 31st May 2026. Please share! tinyurl.com/jfp-phd-abstract…
If you are into functional pearls, you might enjoy this podcast on "The Calculated Typer" by Aaron Stump: pca.st/rqqgrxpt.
Great to have @fancytypes as invited speaker at the Midlands Graduate School in Nottingham!
Just a few days left now to register for the Midlands Graduate School (MGS)! Eight fantastic courses on type theory, category theory, lambda calculus and more. 13-17 April 2026, Nottingham, UK. Registration closes Sunday 29th March. tinyurl.com/MGS-2026
Great to have Andy Gordon visit the FP lab today and give a talk on his work with @zacgarby and Dave Sands on the LLMbda calculus!
Registration is now open for the Midlands Graduate School (MGS) in Nottingham! Eight fantastic courses on type theory, category theory, lambda calculus, and more. 13-17 April 2026, Nottingham, UK. Registration closes Sunday 22nd March. Please share! tinyurl.com/MGS-2026
Delighted that "Quotient Polymorphism" has received a distinguished paper award at #POPL2026 - great work @BrandonHewer! doi.org/10.1145/3776665
UK CS folks: this years Midlands Graduate School Christmas Seminars will be held on the afternoon of Tuesday 16th December 2025 at the University of Birmingham. Please share! mgs-xmas25.vercel.app
