Gabriele Keller
@gckeller
Followers
1K
Following
2K
Media
8
Statuses
658
Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]
Joined June 2014
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.
28
23
86
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!
I'm honored to chair - with @gckeller 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! https://t.co/HZbcXJfz0B
0
4
2
I'm honored to chair - with @gckeller 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! https://t.co/HZbcXJfz0B
0
2
1
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
Bottom-up computation using trees of sublists - Volume 34
0
6
15
Registration for ICFP'24 is open! Register early (by Aug 3) for a discounted rate: https://t.co/ff5GmctfB2 Hope to see you in Milan!
0
6
6
Read Michael Sperber's review for JFP of Sandy Maguire's book, Algebra-Driven Design:
cambridge.org
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020). - Volume 34
0
2
13
Come and join us at the Advanced Functional Programming Summerschool in beautiful Utrecht! Registration deadline is in two weeks, on June 1st!
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!
0
8
10
2 days left to submit! SENSymposium’24 invites one-page lighting talk proposals. Deadline 17 May @ 23:59 CEST. https://t.co/d3e9Tr0xDb
#sensymposium24 Event takes place Friday 7 June at CWI Amsterdam. Spread the word! @VERSEN_NL
@wzblin
@Ayushi_Rastogi
@tvdstorm
@jurgenvinju
0
2
0
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: https://t.co/PFxO8hdmtY
1
3
26
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
Are you an foreign EU citizen, living in the Netherlands? Pay attention!
0
4
6
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!
0
2
4
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!
1
14
43
A massive thank you to @ivogabe for giving us a great talk yesterday on functional parallel array programming. Hope you enjoyed visiting!
0
2
10
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 👉 https://t.co/ZzV3RtyFOe
#lambdadays
0
1
7
See the JFP's most downloaded articles of 2023!
cambridge.org
Journal of Functional Programming
0
8
26
My paper with Eva Graversen (who I believe is not on this site) and @famontesi is out now in JFP! Read in order to understand how to do process polymorphism in choreographies.
1
4
18
The video for my FHPNC talk on Fast Deep Learning with Categories is up!
0
3
7