Join APLAS 2021 later today to see Birthe present our paper on Latent Effects. arxiv.org/abs/2108.11155

At a loss for words. Eelco Visser has passed away suddenly. PL research has lost a great visionary. The Delft PL Group has lost its leader. I have lost a mentor, colleague, and friend. Devastated. My thoughts are with his family in this difficult time.

A commemorative symposium for Eelco Visser will be held on 5 April 2023, on the first anniversary of his untimely passing. More information and a call for papers can be found on symposium.eelcovisser.org. Please help us to spread the word!

I am looking for a PhD student interested in the theory and practice of language-parametric refactoring. Want to know more? See here: pl.ewi.tudelft.nl/hiring/2022/ph… or email me!

Dear #pltwitter, 1st screenshot is a standard substitution function for closed λ terms. 2nd screenshot is capture avoiding for open λ terms, without needing to α rename (see normalizer in third screenshot). Is the technique in the 2nd+3rd well-known/documented in the literature?

Very happy to announce that our (with Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser and Peter Mosses) paper on "Intrinsically-Typed Definitional à la Carte" (dl.acm.org/doi/10.1145/35…) has been accepted for OOPSLA '22!

SENSymposium’24 welcomes a one-page proposal for lighting talks by the 17th of May at 23:59 CEST via HOTCRP sensym24-lightning.hotcrp.com #sensymposium24 will be held on Friday, 7 June 2024, at CWI Amsterdam. Spread the word! VERSEN Bin Lin Casper Bach Tijs van der Storm Jurgen Vinju

2 days left to submit! SENSymposium’24 invites one-page lighting talk proposals. Deadline 17 May @ 23:59 CEST. sensym24-lightning.hotcrp.com #sensymposium24 Event takes place Friday 7 June at CWI Amsterdam. Spread the word! VERSEN Bin Lin Ayushi Rastogi Tijs van der Storm Jurgen Vinju

Excited to share that I'm joining the ACP group at Department of Mathematics and Computer Science! Looking forward to new challenges and collaborations ahead. I'm also grateful for the fantastic experience and connections I leave with from @[email protected]. Looking forward to staying in touch and keep building together!