Only cool dudes allowed to use this hedge trimmer
Simon Fowler
@simon_jf@mastodon.scot
mastodon
4.5.8
Lecturer in Programming Language Foundations at the University of Glasgow.
0
Followers
0
Following
Joined August 08, 2023
Posts
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
3d ago
1
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Apr 08, 2026
That was a depressingly email-heavy morning 🥴
1
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Apr 05, 2026
Easter in Glasgow
6
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Mar 30, 2026
I don't get ill often, thankfully, but I've been struck by an absolute bastard of a bug over the past few days.
1
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Mar 11, 2026
Just finished putting the final touches on the last lecture in my PL course, a total rewrite that started last year. Didn’t expect to feel such a sense of accomplishment as I uploaded the last slides to Moodle. I am very happy with the course now but BOY has it taken some work!
5
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Mar 06, 2026
Luca Padovani, Simon Gay, and I recently wrote a book chapter intended as a tutorial introduction to Mailbox Types.
The chapter is in the final phases of the review process (although we are waiting on final confirmation of acceptance), so I've put a draft on my website: https://simonjf.com/drafts/mb-behapi-draft-jan26.pdf
The chapter is in the final phases of the review process (although we are waiting on final confirmation of acceptance), so I've put a draft on my website: https://simonjf.com/drafts/mb-behapi-draft-jan26.pdf
5
0
4
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Feb 27, 2026
Very happy to say that "Speak Now: Safe Actor Programming with Multiparty Session Types" has been accepted to OOPSLA'26!
Can we use session types to get communication guarantees about code written in actor languages, while also making use of idioms such as supervision hierarchies? Yes -- using first-class message handlers & flow-sensitive effects!
This has been something I've been puzzling over since my MSc, so I'm very happy that we've finally got a convincing answer.
https://simonjf.com/writing/eventactors.pdf
Can we use session types to get communication guarantees about code written in actor languages, while also making use of idioms such as supervision hierarchies? Yes -- using first-class message handlers & flow-sensitive effects!
This has been something I've been puzzling over since my MSc, so I'm very happy that we've finally got a convincing answer.
https://simonjf.com/writing/eventactors.pdf
8
0
3
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Feb 26, 2026
Possibly one of my least favourite tasks as an academic: getting a paper back to the page limit after adding the ACM guff and removing the space hacks 😐
4
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Feb 26, 2026
I quite like this picture I took a while ago. It’s actually the street sign for a beautiful and affluent street next to Cambuslang station, but the sign looks like it could be outside a prison.
3
0
0
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
Simon Fowler
@simon_jf@mastodon.scot
Lecturer in Programming Language Foundations at the University of Glasgow.
mastodon.scot
@simon_jf@mastodon.scot
·
Mar 25, 2025
@flippac Thanks Philippa, I've passed this along so that it can be fixed
1
2
0