Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Nottingham, UK
- Tweets 3,077
- Following 704
- Followers 8,844
- Likes 8,509
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
1
8
19
2,090
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/
1
9
921
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/
6
7
97
2,924
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!
30
75
1,068
126,895
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
1
8
33
2,017
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…
9
32
2,070
If you are into functional pearls, you might enjoy this podcast on "The Calculated Typer" by Aaron Stump: pca.st/rqqgrxpt.
2
9
52
3,643
Great to have @fancytypes as invited speaker at the Midlands Graduate School in Nottingham!
1
16
744
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
1
2
11
1,120
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!
15
904
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
2
12
1,620
Delighted that "Quotient Polymorphism" has received a distinguished paper award at #POPL2026 - great work @BrandonHewer! doi.org/10.1145/3776665
2
6
74
3,472
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
1
4
914
Interested in a PhD studentship in the Functional Programming Lab in Nottingham? Studentships are currently being advertised; deadline 7 January 2026. Please share, and encourage excellent students to apply! people.cs.nott.ac.uk/pszgmh/…
2
4
35
3,299
We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online! tinyurl.com/JFP-prog-calc
3
14
80
9,652