Casper Bach (@eclecnant) 's Twitter Profile
Casper Bach

@eclecnant

Assistant professor, IMADA, SDU

ID: 14861002

linkhttp://casperbach.net calendar_today21-05-2008 19:41:22

38 Tweet

164 Followers

372 Following

Casper Bach (@eclecnant) 's Twitter Profile Photo

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.

@DelftPL@akademienl.social (@delftpl) 's Twitter Profile Photo

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!

Casper Bach (@eclecnant) 's Twitter Profile Photo

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!

Casper Bach (@eclecnant) 's Twitter Profile Photo

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?

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?
Cas van der Rest (@casvdrest) 's Twitter Profile Photo

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!

Ayushi Rastogi (@ayushi_rastogi) 's Twitter Profile Photo

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

Casper Bach (@eclecnant) 's Twitter Profile Photo

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

Casper Bach (@eclecnant) 's Twitter Profile Photo

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!