Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Joined January 2018
- Tweets 3,057
- Following 697
- Followers 8,665
- Likes 8,417
452 Photos and videos
Graham Hutton retweeted
Jun 11
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!
29
74
1,071
120,693
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
31
1,775
The first award is for PhD dissertations completed in 2025, and the deadline for nominations is 31st August 2026.
446
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
1,978
Apr 27
If you are into functional pearls, you might enjoy this podcast on "The Calculated Typer" by Aaron Stump: pca.st/rqqgrxpt.
2
9
51
3,560
Apr 13
Great to have @fancytypes as invited speaker at the Midlands Graduate School in Nottingham!
1
16
700
Mar 25
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,075
Mar 13
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
869
Feb 26
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,578
Jan 15
Delighted that "Quotient Polymorphism" has received a distinguished paper award at #POPL2026 - great work @BrandonHewer! doi.org/10.1145/3776665
2
6
74
3,443
8 Dec 2025
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
890
7 Dec 2025
Such a great F1 season and fantastic to see a British driver winning in a British car!
5
763
5 Dec 2025
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,272
11 Nov 2025
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,605
6 Nov 2025
FP friends -- 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 November 2025. Please share! tinyurl.com/jfp-phd-abstract…
8
23
1,860
16 Oct 2025
Great talk by @zacgarby on "The Calculated Typer", a functional pearl at Haskell 2025! Talk: tinyurl.com/yc2f5wtp; Paper: tinyurl.com/42cfnmnk
12
43
2,727
Graham Hutton retweeted
14 Oct 2025
Incredibly excited to be hosting @icfp_conference 2026 at @IUIndianapolis! Can't wait to welcome everyone from my favorite community next year. Thanks to @IULuddy for their support in making this happen.
1
9
46
2,769