@[email protected]

Programming languages research group at TU Delft. This account is no longer active, follow us at instead.

[@[email protected] @DelftPL]

Programming Languages Delft is moving from Twitter to Mastodon. Social media have become too essential in our society to leave in the hands of large companies, so we think it is important to use open and non-commercial systems. So follow us at https://t.co/lCmKzHmXSD! #Mastodon

[Cas van der Rest @casvdrest]

Very happy to announce that our (with Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser and Peter Mosses) paper on "Intrinsically-Typed Definitional à la Carte" (https://t.co/ejAIkEM1PT) has been accepted for OOPSLA '22!

[Andy Zaidman @azaidman]

Today at @DelftPL: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”.

Supervised by @agdakx & @phittacus.
Committee: @wouterswierstra & yt

[Soham Chakraborty @chakraborty_ss]

Hello Twitter !

[@[email protected] @DelftPL]

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 https://t.co/LkladQFx3H. Please help us to spread the word!

[@[email protected] @DelftPL]

Programming Languages is still alive in Delft

[Arie van Deursen @avandeursen]

English version of my eulogy for @EelcoVisser at his Farewell Ceremony. https://t.co/AZ6MG7X69c

[Eelco Visser @EelcoVisser]

Multi-Purpose Syntax Definition with SDF3

An overview paper of SDF3 with @udesou for SEFM 2020

Preprint at https://t.co/i4Frs51PmV

[Eelco Visser @EelcoVisser]

Plenty of time after submitting your POPL paper to prepare application to Delft PL (we also have 5 open salaried PhD student positions).

[@[email protected] @DelftPL]

6 days to go to submit your application

[@[email protected] @DelftPL]

The Delft Programming Languages group is looking for two Assistant/Associate Professors

Deadline for applications is July 15, 2020

https://t.co/zmBeOr2pQu

[@[email protected] @DelftPL]

The Delft Programming Languages group is looking for two Assistant/Associate Professors

Deadline for applications is July 15, 2020

https://t.co/zmBeOr2pQu

[Eelco Visser @EelcoVisser]

BAPL20: The First Workshop on Build Automation and Programming Languages

Co-located with PLDI’20 in London, June 20, 2020

Submission of extended abstracts (2-4 pages) due March 15, 2020 (AoE)

https://t.co/rdrEGNcvtq

[Eelco Visser @EelcoVisser]

Build Automation and Programming Languages (BAPL 2020)

... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software.

At PLDI 2020

Contribute!

https://t.co/rdrEGNcvtq

[@[email protected] @DelftPL]

Also applies to PhD students in PL!

[Philipp Haller @philippkhaller]

PhD/graduate and undergraduate students: our student research competition @programmingconf is a great opportunity to get feedback from experts and a chance to win $500! Submit your 2-page extended abstract by Feb 10 AoE. @TheOfficialACM contributes $500 to your travel expenses!

[@[email protected] @DelftPL]

Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings.

https://t.co/yagNYY4uwO

[@[email protected] @DelftPL]

We have five open PhD positions in programming languages @DelftPL

https://t.co/dlJVkPmqIH

[@[email protected] @DelftPL]

First it took me forever to get a website (https://t.co/U9W4BhjYg7), and now I have a twitter account as well!