Last time, I went to the International Conference on Functional Programming #ICFP, it was life changing. I was exposed to so many things I didn't know about before, like Logic Programming and Proof Assistants. This was 6 years ago! Last month, I had the opportunity to do a talk on Logic Programming for Go and studying Proof Assistants has allowed me to make great friends as I relocated to London. I am looking forward to mind blowing talks and meeting more legends this week in Seattle #ICFP2023

Are you ready for SPL #ICFP2023? Start your week at HOPE with @koronkebitch's talk "One Weird Trick to Untie Landin's Knot" Monday Sept 4 at 9:00am to *untie *your assumptions about higher-order references and non-termination. (https://icfp23.sigplan.org/home/hope-2023#program)

Then, start your ICFP on Tuesday Sept 5 with @ionchy's talk at 10:30am "Is Sized Typing for Coq Practical?" and *size *up your knowledge about the practicality of integrating sized types into existing type systems. (https://icfp23.sigplan.org/program/program-icfp-2023/?date=Tue%205%20Sep%202023)

Interesting workshop on Declarative Programming in Biology and Medicine at the #icfp2023 later this year (CfP still open): https://icfp23.sigplan.org/home/declmed-2023 @mattmight

ACM SIGPLAN International Conference on Functional Programming #ICFP2023 "seeks original papers on the art and science of functional programming ... from principles to practice, from foundations to features, and from abstraction to application" #fp #FunctionalProgramming
https://icfp23.sigplan.org/