icfp - Robuta Search

https://icfp22.sigplan.org/ ICFP 2022 The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022. icfp https://icfp19.sigplan.org/ ICFP 2019 ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the... icfp https://icfp25.sigplan.org/ ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... icfp https://conf.researchr.org/home/icfp-splash-2025/minikanren-2025 miniKanren 2025 - ICFP/SPLASH 2025 The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages:... minikanren icfp splash https://icfp23.sigplan.org/home/minikanren-2023 miniKanren 2023 - ICFP 2023 The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages:... minikanren icfp https://icfp24.sigplan.org/home/minikanren-2024 miniKanren 2024 - ICFP 2024 The miniKanren and Relational Programming Workshop is a workshop for the miniKanren family of relational (pure constraint logic programming) languages:... minikanren icfp https://icfp24.sigplan.org/ ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. icfp https://icfpcontest2025.github.io/ ICFP contest 2025 icfp contest https://icfp22.sigplan.org/profile/danlicata Daniel R. Licata - ICFP 2022 The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022. daniel r licata icfp https://icfp24.sigplan.org/profile/brigittepientka Brigitte Pientka - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. brigitte pientka icfp https://icfp26.sigplan.org/profile/stephanieweirich Stephanie Weirich - ICFP 2026 Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM... stephanie icfp https://icfp2022.org/es/faq/ Preguntas frecuentes - ICFP preguntas frecuentes icfp https://icfp16.sigplan.org/series/icfp ICFP conference series - ICFP 2026 Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM... conference series icfp https://icfp26.sigplan.org/profile/jeremygibbons Jeremy Gibbons - ICFP 2026 Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM... jeremy gibbons icfp https://icfp2022.org/speakers/forum-home/ Forum Home Archives - ICFP forum home archives icfp https://icfp17.sigplan.org/profile/eminatorlak Emina Torlak - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... emina torlak icfp https://icfp21.sigplan.org/profile/milindkulkarni Milind Kulkarni - ICFP 2021 SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will... milind kulkarni icfp https://icfp25.sigplan.org/profile/simonpeytonjones Simon Peyton Jones - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... simon peyton jones icfp https://icfp25.sigplan.org/track/icfp-2025-artifacts ICFP 2025 - ICFP Artifacts - ICFP 2025 Authors with a paper conditionally accepted at ICFP 2025 are invited to submit an artifact that supports the conclusions of the paper. The Artifact Evaluation... icfp artifacts https://icfp25.sigplan.org/contact2/icfp-2025-student-research-competition Contact - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... icfp https://icfp25.sigplan.org/profile/yahuisong1 Yahui Song - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... song icfp https://icfp25.sigplan.org/profile/jacobhughes Jacob Hughes - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... jacob hughes icfp https://icfp2022.org/es/sponsor/jhpiego/ Jhpiego - ICFP jhpiego icfp https://icfp24.sigplan.org/profile/guillaumemunchmaccagnoni Guillaume Munch-Maccagnoni - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. guillaume munch icfp https://icfp19.sigplan.org/profile/michaelhueschen Michael Hueschen - ICFP 2019 ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the... michael icfp https://icfp24.sigplan.org/profile/chungchiehshan Chung-chieh Shan - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. chung icfp https://icfp25.sigplan.org/profile/craigroy1 Craig Roy - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... craig roy icfp https://icfp16.sigplan.org/committee/mlfamilyworkshop-2016-papers-steering-committee Steering Committee - ICFP 2016 ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... steering committee icfp https://www.cs.umd.edu/article/2020/08/david-van-horn-receives-most-influential-paper-award-icfp-2020 David Van Horn Receives Most Influential Paper Award at ICFP 2020 | UMD Department of Computer... Aug 31, 2020 - Associate professor David Van Horn recently received the Most Influential Paper award at the 25th ACM SIGPLAN International Conference on Functional... most influential paper award https://icfp24.sigplan.org/committee/hope-2024-papers-program-committee Program Committee - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. program committee icfp https://semantic-domain.blogspot.com/2011/09/most-surprising-paper-at-icfp.html Semantic Domain: The most surprising paper at ICFP I was just at ICFP, which was very nice -- it was my first trip ever to Japan, and I found the people very friendly. (The cuisine, alas, is ... the most semantic domain surprising paper https://icfp18.sigplan.org/details/tyde-2018/8/Extended-Abstract-F-OpenCL-Type-Provider Extended Abstract: F# OpenCL Type Provider (TyDe 2018 - Type-Driven Development) - ICFP 2018 The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop... extended abstract f opencl type https://icfp21.sigplan.org/search/all Search all - ICFP 2021 SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will... search all icfp https://icfp20.sigplan.org/profile/lindseykuper Lindsey Kuper - ICFP 2020 ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020... lindsey kuper icfp https://icfp18.sigplan.org/profile/manuelserrano Manuel Serrano - ICFP 2018 Videos from ICFP 2018 are now available. ICFP 2018 is the 23rd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated... manuel serrano icfp https://icfp16.sigplan.org/profile/yudavidliu Yu David Liu - ICFP 2016 ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... yu david liu icfp https://theicfp.org/subcommittee-youth/page/13 Youth - ICFP youth icfp https://icfp2022.org/team-member/justin-chee-ngong/ Justin Chee Ngong - ICFP justin chee ngong icfp https://icfp21.sigplan.org/details/icfp-2021-papers/7/How-to-Evaluate-Blame-for-Gradual-Types How to Evaluate Blame for Gradual Types (ICFP 2021 - Research Papers) - ICFP 2021 PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from... how to evaluate blame https://gfmer.ch/SRH-Course-2022/scientific-writing/webinar2.htm WHO ICFP Scientific Writing, Mentoring and Coaching Course - Webinar 2 mentoring and coaching scientific writing icfp course webinar https://www.icfptlmarista.org/copie-de-home-english-1 Home Portuguese | ICFP Marista | ICFP Baucau | Timor Leste portuguese icfp https://icfp17.sigplan.org/profile/betaziliani Beta Ziliani - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... beta icfp https://theicfp.org/subcommittee-scientific/page/9 Scientific - ICFP scientific icfp https://icfp26.sigplan.org/profile/marinomiculan Marino Miculan - ICFP 2026 Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM... marino icfp https://icfp2022.org/team-member/dr-mohammad-amer-bashir/ Dr. Mohammad Amer Bashir - ICFP Jan 28, 2021 - Mohammad Amer Bashir has more than 13 years of international development experience focused on health and nutrition programming. His expertise includes... dr mohammad amer icfp https://icfp19.sigplan.org/profile/benjamincpierce Benjamin C. Pierce - ICFP 2019 ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the... benjamin c https://conf.researchr.org/profile/icfp-splash-2025/mengwang Meng Wang - ICFP/SPLASH 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... meng wang icfp splash https://icfp2022.org/tag/universal-health-coverage/ universal health coverage Archives - ICFP universal health coverage archives icfp https://icfp21.sigplan.org/contact2/minikanren-2021-papers Contact - ICFP 2021 SIGPLAN CARES will be hosting two sessions on Tuesday, August 24th (tomorrow). The topic for these sessions is creating inclusive conferences and we will... icfp https://icfp17.sigplan.org/profile/lutzstrassburger Lutz Strassburger - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... lutz icfp https://icfp20.sigplan.org/room/icfp-2020-venue-scheme Scheme - ICFP 2020 ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020... scheme icfp https://icfp20.sigplan.org/profile/baptistesaleil Baptiste Saleil - ICFP 2020 ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020... baptiste icfp https://icfp2022.org/wcs-type/abstracts/ Abstracts Archives - ICFP abstracts archives icfp https://theicfp.org/subcommittees/private-sector Private Sector Archives - ICFP private sector archives icfp https://icfp24.sigplan.org/profile/adampaszke Adam Paszke - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. adam icfp https://icfp22.sigplan.org/attending/registration Registration - ICFP 2022 The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022. registration icfp https://icfp17.sigplan.org/profile/alejandrogadea Alejandro Gadea - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... alejandro gadea icfp https://icfp17.sigplan.org/profile/gowthamkaki Gowtham Kaki - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... gowtham kaki icfp https://theicfp.org/subcommittee-youth/page/8 Youth - ICFP youth icfp https://icfp16.sigplan.org/profile/marcinszymczak Marcin Szymczak - ICFP 2016 ICFP 2016 is the 21st ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... marcin icfp https://conf.researchr.org/profile/icfp-splash-2025/andrevanderhoek Andre van der Hoek - ICFP/SPLASH 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... andre van der hoek icfp splash https://icfp17.sigplan.org/profile/michaelgale Michael Gale - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... michael gale icfp https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml A guided tour through Oxidized OCaml (ICFP/SPLASH 2025 - Tutorials) - ICFP/SPLASH 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... a guided tour oxidized ocaml icfp splash https://www.dailygoodmorningkashmir.com/anti-gender-push-hope-pins-on-icfp-2025-to-shift-gears-towards-srhrj-for-all/ Anti-gender push: Hope pins on ICFP 2025 to shift gears towards SRHRJ for all - Daily Good Morning... Oct 21, 2025 - Despite right to health and gender equality being fundamental human rights, the world is off the track from delivering on these goals https://icfp20.sigplan.org/profile/koenclaessen Koen Claessen - ICFP 2020 ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020... koen icfp https://icfp19.sigplan.org/profile/junjihashimoto Junji Hashimoto - ICFP 2019 ICFP 2019 is the 24th ACM SIGPLAN International Conference on Functional Programming. The main conference will take place during August 19-21, 2019 at the... hashimoto icfp https://icfp26.sigplan.org/profile/josephpnear Joseph P. Near - ICFP 2026 Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related information. Please check back soon! The ACM... joseph near icfp https://icfp24.sigplan.org/profile/ajaybansal Ajay Bansal - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. ajay bansal icfp https://icfp25.sigplan.org/profile/ziqiaozhou Ziqiao Zhou - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... zhou icfp https://icfp2022.org/fr/category/fpnn/ Archives FPNN - ICFP archives icfp https://icfp2022.org/islam-and-family-planning-blog/ Islam and Family Planning - ICFP family planning islam icfp https://icfp2022.org/officehours/ ICFP 2022 Virtual Abstract Advising Office Hours - ICFP Feb 17, 2022 - Get one-on-one advising from expert reviewers on program, advocacy or research-focused abstracts before the March 15 abstract submission deadline. icfp virtual abstract advising office https://icfp24.sigplan.org/profile/bereketayele Bereket Shimels Ayele - ICFP 2024 The 29th ACM SIGPLAN International Conference on Functional Programming will be in Milan, Italy, in September 2024. bereket ayele icfp https://www.icfptlmarista.org/news/selebrasaun-ba-susessu%3A-mestradu-foun-iha-icfp Selebrasaun ba Susessu: Mestradu Foun iha ICFP ba foun iha icfp https://icfp20.sigplan.org/profile/guylsteelejr Guy L. Steele Jr. - ICFP 2020 ICFP 2020 is the 25th ACM SIGPLAN International Conference on Functional Programming. The conference was a virtual event during the dates of August 23-26, 2020... guy l jr icfp https://icfp21.sigplan.org/home/minikanren-2021 miniKanren 2021 - ICFP 2021 The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages:... minikanren icfp https://icfp25.sigplan.org/profile/danielapetrisan Daniela Petrisan - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... daniela icfp https://conf.researchr.org/profile/icfp-splash-2025/luyucheng Luyu Cheng - ICFP/SPLASH 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... cheng icfp splash https://tonsky.me/blog/icfpc-2021/ Zig, Skia, Clojure, Geometry and the Japanese TV Show: ICFP Contest 2021 @ tonsky.me 4-day coding marathon https://icfp2022.org/tag/youth-friendly-services/ Youth Friendly Services Archives - ICFP youth friendly services archives icfp https://conf.researchr.org/profile/icfp-splash-2025/runzexue Runze Xue - ICFP/SPLASH 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... xue icfp splash https://www.populationmedia.org/newsroom/from-scripts-to-social-change-pmcs-breakthroughs-at-icfp-2025 From Scripts to Social Change: PMC’s Breakthroughs at ICFP 2025 May 27, 2026 - A recap of PMC’s presence at ICFP 2025, highlighting key takeaways, youth leadership, storytelling, and transformative SRHR insights from global partners. social change scripts breakthroughs icfp https://icfp17.sigplan.org/profile/nicholascowle Nicholas Cowle - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... nicholas icfp https://conf.researchr.org/profile/icfp-splash-2025/danielgorin Daniel Gorin - ICFP/SPLASH 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... daniel gorin icfp splash https://icfp22.sigplan.org/profile/danelahman Danel Ahman - ICFP 2022 The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022. icfp https://icfp2022.org/team-member/winnie-barawa/ Winnie Barawa - ICFP winnie barawa icfp https://conf.researchr.org/details/icfp-splash-2025/haskellsymp-2025-papers/1/Join-points-in-practice Join points in practice (Haskell 2025) - ICFP/SPLASH 2025 Welcome to the 18th ACM SIGPLAN International Symposium on Haskell The Haskell Symposium presents original research on Haskell, discusses practical experience... join points practice haskell icfp splash https://icfp17.sigplan.org/profile/philtrinder Phil Trinder - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... phil icfp https://icfp21.sigplan.org/details/icfp-2021-papers/29/ProbNV-Probabilistic-Verification-of-Network-Control-Planes ProbNV: Probabilistic Verification of Network Control Planes (ICFP 2021 - Research Papers) - ICFP... PACMPL (ICFP) seeks contributions on the design, implementations, principles, and uses of functional programming, covering the entire spectrum of work, from... network control probabilistic verification https://icfp22.sigplan.org/profile/alexisghyselen Alexis Ghyselen - ICFP 2022 The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022. alexis icfp https://icfp22.sigplan.org/profile/flordefuego Florencia Alonso (Flor de Fuego) - ICFP 2022 The 27th ACM SIGPLAN International Conference on Functional Programming took place in Ljubljana, Slovenia, on 11-16 September 2022. florencia alonso de fuego icfp https://icfp18.sigplan.org/profile/maximechevalierboisvert Maxime Chevalier-Boisvert - ICFP 2018 Videos from ICFP 2018 are now available. ICFP 2018 is the 23rd ACM SIGPLAN International Conference on Functional Programming. This year, ICFP is colocated... maxime chevalier icfp https://icfp17.sigplan.org/profile/akihisayamada Akihisa Yamada - ICFP 2017 ICFP 2017 is the 22nd ACM SIGPLAN International Conference on Functional Programming. ICFP provides a forum for researchers and developers to hear about the... yamada icfp https://icfp17.sigplan.org/details/mlfamilyworkshop-2017-papers/10/Efficient-representation-of-large-dynamic-sequences-in-ML Efficient representation of large, dynamic sequences in ML (ML 2017) - ICFP 2017 ML is a family of programming languages that includes Standard ML, OCaml, F#, Alice ML, Dependent ML, Flow Caml, JoCaml, Manticore, MetaOCaml, SML#, and many... efficient representation large dynamic sequences https://www.africahealthwatch.com/p/icfp-2025-equity-in-action-is-non/comments Comments - ICFP 2025: Equity in Action Is Non-Negotiable for Family Planning Access Chibuike Alagboso and Dabri Olohije equity in action https://icfp25.sigplan.org/profile/fraserbrown Fraser Brown - ICFP 2025 Latest Announcements ICFP/SPLASH 2025 post-event survey results are available. Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now... fraser brown icfp https://icfp2022.org/team-member/dr-tlaleng-mofokeng/ Dr. Tlaleng Mofokeng - ICFP Nov 9, 2021 - Tlaleng Mofokeng, a South African medical doctor and a women's rights and sexual and reproductive health rights activist, has been appointed as the new United... dr icfp https://icfp2022.org/sponsor/the-international-youth-alliance-for-family-planning/ International Youth Alliance for Family Planning (IYAFP) - ICFP international youth alliance for family planning icfp https://www.icfptlmarista.org/news/presentation-of-the-katilosa-foundation-speaker-at-icfp-baucau. Presentation of the Katilosa Foundation Speaker at ICFP Baucau. of the presentation foundation speaker icfp