Gabriele Keller Profile
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
Don't wanna be here? Send us removal request.
@LucStultiens
Luc Stultiens
6 months
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
@gckeller
Gabriele Keller
7 months
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!
@sperbsen
Mike Sperber
8 months
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
@sperbsen
Mike Sperber
8 months
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
@SzassTam
Albert Ali Salah
9 months
3000 people protesting education and research cuts in Utrecht. The UU on strike! @WOinactie
0
2
12
@journal_of_fp
Journal of Functional Programming
1 year
Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists:
Tweet card summary image
cambridge.org
Bottom-up computation using trees of sublists - Volume 34
0
6
15
@TacticalGrace
Manuel Chakravarty🦋@tacticalgrace.justtesting.org
1 year
The next Haskell Utrecht Meetup is on 18 November. Check it out! https://t.co/WrOgZz9Ma3
0
6
7
@icfp_conference
ICFP Conference
1 year
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
@journal_of_fp
Journal of Functional Programming
2 years
Read Michael Sperber's review for JFP of Sandy Maguire's book, Algebra-Driven Design:
Tweet card summary image
cambridge.org
A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020). - Volume 34
0
2
13
@gckeller
Gabriele Keller
2 years
Come and join us at the Advanced Functional Programming Summerschool in beautiful Utrecht! Registration deadline is in two weeks, on June 1st!
@gckeller
Gabriele Keller
2 years
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
@eclecnant
Casper Bach
2 years
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
@TacticalGrace
Manuel Chakravarty🦋@tacticalgrace.justtesting.org
2 years
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
@TacticalGrace
Manuel Chakravarty🦋@tacticalgrace.justtesting.org
2 years
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:
Tweet card summary image
voltnederland.org
Are you an foreign EU citizen, living in the Netherlands? Pay attention!
0
4
6
@gckeller
Gabriele Keller
2 years
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
@gckeller
Gabriele Keller
2 years
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
@PLRG_bristol
PLRG :: Bristol
2 years
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
@LambdaDays
Lambda Days
2 years
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
@journal_of_fp
Journal of Functional Programming
2 years
See the JFP's most downloaded articles of 2023!
Tweet card summary image
cambridge.org
Journal of Functional Programming
0
8
26
@andrewkhirsch
Andrew K. Hirsch
2 years
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
@biboudis
Aggelos Biboudis
2 years
Complete Stream Fusion for Software-Defined Radio by ⁦@moatom⁩ and Oleg Kiselyov 🚀
0
6
14
@sperbsen
Mike Sperber
2 years
The video for my FHPNC talk on Fast Deep Learning with Categories is up!
0
3
7