Stefano Volpe 
Tweag by Modus CreateIt seems we missed the release of the #ICFP videos.
Here is our own Arnaud Spiwack presenting his joint work with Thomas Bagrel on the Destination Calculus https://www.youtube.com/watch?v=zjAElbdPD30
#icfpYouTube
bactrianState of the OCaml Platform 2020
State of the OCaml Platform 2020
Semantics for the Lambda intermediate language
Semantics for the Lambda intermediate language
Sam Phillips 
Every year watching #icfp videos and seeing social posts and wondering what it would take to break into PL work.
MarvinI won 1st place in the #ICFP SRC (undergraduate)
Check out this page for more information: https://marvinborner.de/icfp25.html
redm(plementation)I got to pitch my #Haskell23 work (implementing an actor system in like 10 lines using throwTo) to SPJ today at #icfp and his response was "that's not what those are for" 😕
Success! 😬
@koronkebitch's talk "Type Universes as Kripke Worlds" at #icfp
Mutable references to functions that mutate the heap!
@bhaktishh's talk at #icfp, #hatra, "Imperative Syntax for Dependent Types"
"Java 17 has sealed interfaces, which let you seal an interface"
"A lot of people in pl don't care about syntax; everybody outside of pl pretty much care only about syntax... people really do care about syntax, and it does matter"
"But that doesn't mean I actually want to execute these programs.. an, I'll tell you why.."
"Please keep an open mind, and put on your Java programmer hat, if you've ever had one"
#icfp it's always fun at a CS research conference when somebody sees you're using linux and the conversation veers toward "i'm not that kind of nerd" "i have better things to do" ... like, what are you doing here? i didn't say you have to use linux, dude.. you were commenting on my computer and asking me about it