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
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 akademienl.social/@DelftPL! #Mastodon
@[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
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!
@[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…
6 days to go to submit your application
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…
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!
Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings.
pl.ewi.tudelft.nl/hiring/
We have five open PhD positions in programming languages @DelftPL
pl.ewi.tudelft.nl/hiring/
First it took me forever to get a website (pl.ewi.tudelft.nl/), and now I have a twitter account as well!