Pinned Tweet
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
0
11
1,074
Interested in a PhD studentship in the Functional Programming Lab in Nottingham? Fully-funded studentships are currently being advertised; deadline 6 January 2027. Please share, and encourage excellent students to apply! people.cs.nott.ac.uk/pszgmh/phd-adv…
1
18
91
4,539
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, 250+ published to date, deadline 30th November 2026. Please share! tinyurl.com/jfp-phd-abstra…
0
15
54
2,377
Fantastic podcast with chef @Adambyatt and wine guru @tomgilbey. This is such a great new format, and it makes me want to head straight to the kitchen to a cook a chicken pie with a glass of champagne :-) youtu.be/8PaW4Zttf2g
0
0
1
607
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
12
28
154
14,158
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/flow-ty…
0
0
2
202
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/18491
3
19
114
4,161
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
22
2,193
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/Educato…
6
7
96
2,977
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!
No more!
And we're actively hiring to form a new formal methods team!
30
75
1,065
127,192
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
34
2,059
The first award is for PhD dissertations completed in 2025, and the deadline for nominations is 31st August 2026.
0
0
0
546
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-abstra…
0
9
32
2,103
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,677
Great to have @fancytypes as invited speaker at the Midlands Graduate School in Nottingham!
0
1
16
768
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,140
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!
0
0
15
928