ViewTube

What is category theory, and why does it matter for functional programming? In Part 1, Jencel Panic builds an intuitive introduction ...

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

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

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

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

... language family Um they are both functional first languages but Haskell approaches uh the problem of functional programming ...

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

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

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

The `tidymodels` family of packages is a unified framework for machine learning in R. It's as simple as if could possibly be while ...

Geometry of Machine Learning 2026 9/11/2026 Speaker: Nada Amin, Harvard Title: Compiling Programs to Neurons Abstract: ...

Casey Muratori talks with Richard Feldman about Casey's 2025 talk "The Big OOPs" about the history of Object-Oriented ...

Memorial University - Computer Science 4300 - Fall 2026 Intro to C++ Game Programming Professor: David Churchill ...

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

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

Application programming with dependent types Some FFI in Idris 2, some lessons from self hosting Idris 2, some mundane but ...

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

... Haskell 2026) Alex Hobbs, Alex Dixon (University of Warwick, UK; University of Warwick, UK) Abstract: Functional programming ...

How do category theory, logic, and type theory connect to functional programming? In Part 2, Jencel Panic explores monoids, ...

Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl) (Video, Haskell 2026) Matthías Páll Gissurarson, ...