ViewTube

Distilling functional programming for the good of all Get in touch: https://zelenya.com 00:00 hooks & intro 02:18 doom demo 04:53 ...

... dive into the intersection of functional programming and mechanical sympathy: how we can achieve faster-performing functional ...

Java's open ecosystem—specifications, source code, JSRs, JEPs, mailing lists, MicroProfile, and Jakarta EE—made it an ideal ...

Pure functions No side effects Immutability First-class functions Referential transparency.

Functional Programming with Serialized Data (Video, ML 2026) Michael Vollmer (University of Kent) Abstract: In many high-level ...

An introduction to the book on this that I have just had published, along with a taster of what is in one of the chapters. I am trying to ...

Deterministic Concurrency (Video, ICFP 2026) Edward Lee (University of California at Berkeley) Abstract: It is not uncommon, ...

... dynamic processes, and higher-order functional programming. We present Tempo, a synchronous reactive programming library ...

Functional / Logic Programming in Verse (Video, LOPSTR+PPDP 2026) Stephanie Weirich (University of Pennsylvania) Abstract: ...

... Flexibility in Strongly Typed Functional Programming by Anupam Jain (https://fossunited.org/c/indiafoss/2026/cfp/d8b9uvdntg) ...

Silica: A functional systems language for modern chips, modern tools, and honest boundaries (Video, Erlang 2026) Lee Barney ...

... lambda expressions concept and then followed by which also enables uh to achieve the functional programming as well when it ...

Mathematical Functions Functional Programming and the Power of Mathematical Functions Referential Transparency Side Effect ...

Coding Agents: New opportunities for formal methods? (Video, LOPSTR+PPDP 2026) Presentation at the LOPSTR+PPDP 2026 ...

I continue porting my NES emulator for Haskell to Lean. In this edited version of the 4-hour livestream, I muse a bit about syntax ...

Efficient strong functional programming with effects and compiler guided reference counting (Video, ICFP 2026) Daan Leijen ...

Elements of Logic Programming in a Concatenative Functional Language (Video, LOPSTR+PPDP 2026) Attila Egri-Nagy (Akita ...

Functional State Machines in Rust: Typestate and Newtype Patterns (Experience Report) (Video, FUNARCH 2026) Leon Heuer, ...

Aaron Bauer is a software engineer and one of Jane Street's few developer educators—a role that splits his time between writing ...

... Abstract: We have been developing a distributed application called Lokalisierung using functional programming since 2015.