![[OOPSLA'25] Destination calculus: A linear λ-calculus for purely functional memory writes](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:krgywgaz6iaotgapl47jy645/bafkreidncttvcadsoc6ztqkxcbybqran5soi5dzt7uo2nsag7zb56opmd4)
It seems we missed the release of the #ICFP videos.
Here is our own @aspiwack.bsky.social presenting his joint work with Thomas Bagrel on the Destination Calculus www.youtube.com/watch?v=zjAE...
1
1
0
0
Hashtag
#icfp
Advertisement · 728 × 90
In an interview with Dina Chaerani at the #ICFP, Nandita Bajaj, Population Balance ED, discusses how, due to her patriarchal cultural upbringing in India, she did not know until she was 28 that she could choose not to have kids.
Watch the interview youtu.be/StrQOc5zzrU?...
2
1
0
1
At the #ICFP, Nandita Bajaj shares with Dina Chaerani how pronatalism is not a new phenomenon, but rather as old as patriarchy, which began 5,000 years ago. Pronatalism is the oldest form of reproductive control.
Full Interview on YouTube youtu.be/StrQOc5zzrU
#pronatalism #familyplanning #childfree
2
2
0
0
As we wrap up 2025, we asked our grantee partners Blind Youth Association Nepal, Safe Abortion ASAP, Health Development Initiative (HDI), SAYWHAT et SOJFEP, during #ICFP what they are most excited to achieve in 2026
🎥: www.youtube.com/shorts/SBO4a...
2
0
0
0
Alors que l'année 2025 touche à sa fin, nous avons demandé à nos partenaires bénéficiaires Blind Youth Association Nepal, Safe Abortion ASAP, Health Development Initiative (HDI), SAYWHAT et SOJFEP, lors de la conférence #ICFP, ce qu'ils espèrent accomplir en 2026
🎥: www.youtube.com/shorts/SBO4a...
1
0
0
0
#icfp2025 may have ended but we're just getting started!
Huge thanks to all those who came, to say hi and engage in inspiring discussions!
This is also your reminder that there is no reproductive justice without disability justice and vice versa!
#icfp
#familyplanning
2
0
0
0
[💡] Findings presented by Senior Associate Project Director, Chiara Bercu, at #ICFP show that abortion hotlines and other support groups play a critical role in facilitating people’s abortion care experiences in legally restrictive settings.
#IbisDrivesChange #AdolescentHealth
0
0
0
0
[💡] Findings presented by Research Manager, Sofia Braunstein, at #ICFP highlight how social change, public policies, existing support systems, and access to support impact adolescents' abortion experiences in Argentina.
#IbisDrivesChange #AdolescentHealth
2
0
0
0
Women’s health always matters, and the role of the USG in global mortality reduction is significant.
60 years of contribution to sexual and reproductive health.
#ICFP @altstategov.altgov.info @alt-hhs.altgov.info @altcdc.altgov.info
1
0
1
0
We want you to see what our staff see all the time: Girls who are incredibly resilient in the face of grave challenges to their health and future. At #ICFP we hosted a photo exhibition highlighting girls’ lived experiences. Not at ICFP? We’ve created a virtual exhibit on our website: buff.ly/jf0KVwu
2
0
0
0
📅 Next up at #ICFP, join us at 7am tomorrow in Agora Room N for a high level panel discussing 'Nigeria’s Roadmap to Equitable Contraceptive Access' and how the sector wide approach is accelerating access and delivering on #FP2030 goals.
0
0
0
0
➡️ If you're in Bogota or joining #ICFP online, check out the events that MSI is part of throughout the week, and drop by our booth #21 in the exhibition hall ow.ly/z7VZ50XlQY1
0
0
1
0
🎉 We're proud to have helped coordinate the first #ICFP pre-conference on abortion, where the Global Safe Abortion Dialogue came together to develop a worldwide action plan.
💙 Thank you to all who joined, including Global Affairs Canada Norad Packard Foundation Ipas Fòs Feminista AmplifyChange WHO
0
1
1
0
Thrilled to be at #ICFP in #Bogota to chat all things #SRHR #Gender #Abortion #Politics hit me up!
I'll be presenting on (1) the politics of data in male engagement, (2) how data tools construct gendered realities, and (3) how surveys can be more feminist in understanding effects. Come find me!
4
0
0
0
As part of Baobab RPC, #IAmAPHRC will be at #ICFP 2025 showcasing how African-led research and innovation are transforming SRHR for refugee communities across Uganda and Ethiopia. Join our session on Nov. 5 from 1900h (GMT-5) at Room K to learn more from our studies.
1
0
0
0
We have also planned for an interactive, informative and fun exhibition booth at the event. Do not forget to visit booth number 93 and 94 from 3-6 November, 2025.
#ICFP2025 #ICFP
0
0
0
0
At the International Conference on Family Planning (ICFP), from 1-6 November, ARROW along with our partners, and young feminists from Asia and the Pacific and Africa are all set to co-organise and speak at various events. And we are delighted to invite you to join us!
#ICFP2025 #ICFP
0
0
1
0
Reach out to connect with
KIT Institute Advisors Hannah Kabelka & Nicole Moran at #ICFP 2025! They are presenting on crucial SRHR topics and ongoing work.
0
0
0
0
Honored to be selected as one of 10 journalists selected for this year’s International Conference on Family Planning fellowship, representing @rewirenewsgroup.com
Bogotá, tanto tiempo! será un gusto enorme verte de nuevo #icfp #fpnn
2
1
0
0
My write-up for #ICFPContest2025:
rmathew.com/2025/icfpc25...
A #fun three days of problem-solving and #programming, but no success – SNAFU. 🤷🏽♂️
#ICFPC #ICFPContest #ICFPC25 #Go #GoLang #TheNameOfTheRose #UmbertoEco #AI #ICFP #Plug #WebSite
0
1
0
0
It was a a delight to hang out with these fine friends during the Computer Science Research Week at NUS. My first trip to Singapore - what a city! I'm delighted that #OOPSLA / #SPLASH and #ICFP will take place there in October.
12
2
1
0
Hey yall~ To capitalise on the ppl moving here maybe?
I made a #programmingLanguages #PL feed~
It tracks all the major PL conferences ( #PLDI, #ICFP, #POPL, #OOPSLA ), plus other interesting PL keywords and stuff~
bsky.app/profile/did:...
6
0
1
0
This year's #ICFPContest was really nice (icfpcontest2024.github.io) – reminded me of the classics from 2006 and 2007. Bravo!
The organizers have already released the full source-code and docs (github.com/icfpcontest2...).
#ICFP #ICFPC #ICFPContest2024 #FunctionalProgramming
0
0
1
0
An important part of the goal is to have two modes: one that's as fast as the current clambda IR, and one that's slower but generates better code. That way, we can eventually have just one path through the compiler.
#ICFP
0
0
0
0
Fireside chat with Felix Klock, Greg Morrisett, and Amal Ahmed at #ICFP. Rust, Cyclone, systems programming and functional programming!
3
0
2
0
Had a really good time this year at#icfp. As usual, it was good to catch up with people, but it was especially good hearing about progress in the OCaml ecosystem.
0
0
1
0
0
0
0
0
NOW @ICFP2016: Baroness Tonge presents the @APPGPopDevRep report on #population dybamics + #SDGs #Act4FP #ICFP
0
0
0
0
#Familyplanning is a must for economic #development +part of economic success of #Indonesia, says finance minister @ICFP2016 #ICFP #srhr
0
0
0
0