jaror@kbin.social to Haskell@kbin.social · 1 year agoICFP 2023 Videoswww.youtube.comexternal-linkmessage-square1fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkICFP 2023 Videoswww.youtube.comjaror@kbin.social to Haskell@kbin.social · 1 year agomessage-square1fedilink
minus-squarejaror@kbin.socialOPlinkfedilinkarrow-up1·1 year agoMy to-watch list: Modular Models of Monoids with Operations HasChor: Functional Choreographic Programming for All (Functional Pearl) More Fixpoints! (Functional Pearl) Timely Computation Embedding by Unembedding A well-known representation of monoids and its application to the function ‘vect… Modal FRP for all: Functional reactive programming without space leaks in Haskel… Explicit Refinement Types FP²: Fully in-Place Functional Programming Calculating Compilers for Concurrency Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr…
My to-watch list: