Programming languages research group at TU Delft. This account is no longer active, follow us at https://xitter.cf/t.co/l5hJ0MfhxG instead.
Delft, The Netherlands
Joined December 2019
- Tweets19
- Following164
- Followers220
- Likes23
@[email protected] retweeted
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/35633…) has been accepted for OOPSLA '22!
@[email protected] retweeted
Today at @DelftPL: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”.
Supervised by @agdakx & @phittacus.
Committee: @wouterswierstra & yt
@[email protected] retweeted
English version of my eulogy for @EelcoVisser at his Farewell Ceremony. avandeursen.com/2022/04/15/e…
@[email protected] retweeted
Multi-Purpose Syntax Definition with SDF3
An overview paper of SDF3 with @udesou for SEFM 2020
Preprint at eelcovisser.org/talks/2020/0…
@[email protected] retweeted
Plenty of time after submitting your POPL paper to prepare application to Delft PL (we also have 5 open salaried PhD student positions).
The Delft Programming Languages group is looking for two Assistant/Associate Professors
Deadline for applications is July 15, 2020
pl.ewi.tudelft.nl/hiring/202…
@[email protected] retweeted
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)
pldi20.sigplan.org/home/bapl…
@[email protected] retweeted
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!
pldi20.sigplan.org/home/bapl…
@[email protected] retweeted
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!