It 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

State of the OCaml Platform 2020

https://watch.ocaml.org/w/2KbfRNv2oLtkKXkbd5u9F1

Semantics for the Lambda intermediate language

https://watch.ocaml.org/w/iTr2rY4bbNiwzL99y3tchT

#icfp, #haskell25 "Rebound: Efficient, expressive, and well-scoped binding"

So far explored three interesting little lambda calculus implementations and then showed a benchmark of lennart's term

I won 1st place in the #ICFP SRC (undergraduate)

Check out this page for more information: https://marvinborner.de/icfp25.html

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! 😬

https://dl.acm.org/doi/abs/10.1145/3609026.3609728

https://www.youtube.com/watch?v=pqTUtTyZZxU

@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"