Gabriele Keller (@gckeller) 's Twitter Profile
Gabriele Keller

@gckeller

Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]

ID: 2576298942

linkhttps://www.uu.nl/staff/gkkeller calendar_today19-06-2014 06:57:11

656 Tweet

1,1K Followers

374 Following

Andrew K. Hirsch (@andrewkhirsch) 's Twitter Profile Photo

My paper with Eva Graversen (who I believe is not on this site) and Fabrizio Montesi ⬣ A➔B is out now in JFP! Read in order to understand how to do process polymorphism in choreographies. doi.org/10.1017/S09567…

Lambda Days (@lambdadays) 's Twitter Profile Photo

Learn how pure functional languages like Clean using TOP abstractions are suitable to construct complex multi-user data-intensive real-world applications: join us in May for the keynote talk by Rinus Plasmeijer🙌 details & tickets 👉 lambdadays.org #lambdadays

Learn how pure functional languages like Clean using TOP abstractions are suitable to construct complex multi-user data-intensive real-world applications: 
join us in May for the keynote talk by Rinus Plasmeijer🙌
details & tickets 👉 lambdadays.org
#lambdadays
Gabriele Keller (@gckeller) 's Twitter Profile Photo

I'm happy to announce that the Utrecht Advanced Functional Programming summer school is happening again this year! It takes place in the second week of July. If you'd like to join, please register via the link below! utrechtsummerschool.nl/courses/scienc…

Gabriele Keller (@gckeller) 's Twitter Profile Photo

The deadline for submitting a talk proposal for the 4th VERSEN Workshop on Programming Languages in Groningen is in one week! It's a great opportunity to present your work to other PL researchers! conf.researchr.org/home/plnl-2024

Manuel Chakravarty🦋@tacticalgrace.justtesting.org (@tacticalgrace) 's Twitter Profile Photo

Are you one of the 650,000 foreign EU citizen, living in the Netherlands? Did you know that you can vote in the Netherlands for a Dutch party in the European elections? Here is how it works: voltnederland.org/nieuws/eu-citi…

Manuel Chakravarty🦋@tacticalgrace.justtesting.org (@tacticalgrace) 's Twitter Profile Photo

Last day of the IFIP WG2.8 meeting in Utrecht is upcoming. It was awesome to have all this functional programming brain power in Utrecht: ifip-wg28.github.io/index.html

Last day of the IFIP WG2.8 meeting in Utrecht is upcoming. It was awesome to have all this functional programming brain power in Utrecht: ifip-wg28.github.io/index.html
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

Gabriele Keller (@gckeller) 's Twitter Profile Photo

Come and join us at the Advanced Functional Programming Summerschool in beautiful Utrecht! Registration deadline is in two weeks, on June 1st!

ICFP Conference (@icfp_conference) 's Twitter Profile Photo

Registration for ICFP'24 is open! Register early (by Aug 3) for a discounted rate: icfp24.sigplan.org/attending/regi… Hope to see you in Milan!

Journal of Functional Programming (@cup_jfp) 's Twitter Profile Photo

Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists: cambridge.org/core/journals/…

Mike Sperber (@sperbsen) 's Twitter Profile Photo

I'm honored to chair - with Gabriele Keller and Sven-Bodo Scholz - FProPer’25, the Workshop on Functional Programming for Productivity and Performance. CfP asks for full papers (abstract deadline May 31) or standalone abstracts (Aug 2) - hope you'll submit! conf.researchr.org/home/icfp-spla…

Gabriele Keller (@gckeller) 's Twitter Profile Photo

The abstract deadline for FProPer is coming up in a bit more than two weeks (31/5 - paper deadline 14/6). If you're working in the space, please consider submitting! And of course, if you know anyone doing interesting work in this area, please also encourage them to submit!

Luc Stultiens (@lucstultiens) 's Twitter Profile Photo

Het kabinet is weg, nu de onderwijsbezuinigingen nog. Het is de hoogste tijd om te versterken wat door dit kabinet is afgebroken. Daarom dienen we vandaag met onze bondgenoten een wetswijziging in om de €1,6 miljard aan onderwijsbezuinigingen volledig van tafel te krijgen.

Het kabinet is weg, nu de onderwijsbezuinigingen nog.

Het is de hoogste tijd om te versterken wat door dit kabinet is afgebroken.

Daarom dienen we vandaag met onze bondgenoten een wetswijziging in om de €1,6 miljard aan onderwijsbezuinigingen volledig van tafel te krijgen.