46:24

Lambda World 2024 - Inventing a language (placeholder title) - Nicolas Rinaudo

19:25

Lambda World 2024 - Surprise Session - Pepe el Calamar Campos

4:05

Lambda World 2024 - Stephen Taylor - Interview

32:56

Lambda World 2024 - Roc-Solid Intuition for JSON Decoding - Monica McGuigan

1:48

Lambda World 2024 - Marta Ardizone (Penpot) - Interview

33:25

Lambda World 2024 - Rethinking Effects with Effect Systems - Noel Welsh

1:26

Lambda World 2024 - Abby Sassel - Interview

1:51

Lambda World 2024 - Mitchell Franklin (Founder of the UMATR) - Interview

41:42

Lambda World 2024 - Concurrency Oriented Software - Robert Virding

3:46

Lambda World 2024 - Kim Morgan - Interview

36:26

Lambda World 2024 - Concrete Functional Programming - Kamila Szewczyk

1:48

Lambda World 2024 - Juan Pedro Moreno (Engineering Leader at Xebia) - Interview

2:21

Lambda World 2024 - Ian Martinez (Lambda World 24 attendee) - Interview

38:31

Lambda World 2024 - Resilient REST APIs: The case for Parallel Change - Abby Sassel

3:01

Lambda World 2024 - Alcino Cunha - Interview

36:12

Lambda World 2024 - Hooray for arrays - Stephen Taylor

4:04

Lambda World 2024 - Robert Virding - Interview

28:32

Lambda World 2024 - Translating Japanese Numbers with Functional Programming - Kim Morgan

46:08

Lambda World 2024 - Functional effects in perspective - Vitaly Bragilevsky

3:23

Lambda World 2024 - Chris Ford - Interview

34:20

Lambda World 2024 - Liquid Haskell: Verification with Refinement Types - Niki Vazou

7:12

Lambda World 2024 - José Valim - Interview

41:40

Lambda World 2024 - The Power of Function Composition - Conor Hoekstra

36:21

Lambda World 2024 - Actions as data, continued - Alejandro Serrano Mena

41:01

Lambda World 2024 - Designing software with complex configurations - Alcino Cunha

27:14

Lambda World 2024 - Scala Sampler for Functional Soundscapes - Johanna Odersky

43:51

Lambda World 2024 - Livebook: functional notebooks for AI and Web with Elixir - José Valim

43:17

Lambda World 2024 - The Butcherbird Combinator - Chris Ford

43:10

Lambda World 2024 - An Imperishable Wonderland of Infinite Fun - Will Byrd

2:13

Lambda World 24 Summary Video

0:57

Zainab Ali introduces her workshop on Supercharging your Streams!

1:13

Agda and Lean: functional programming meets proving with Juanjo Madrigal and Jorge Mayoral

0:50

Stephen Taylor will be giving a talk about Array Languages at Lambda World 24

0:49

Lambda World 2024 - Cadiz

0:49

Lambda World 2024 is BACK!

1:04:00

A Few Things You Always Wanted to Know About Tagless-Final

None

Lambda World Live Stream

1:08:21

Lambda World 2019 - Unconference

41:09

Lambda World 2019 - The Reason for ReasonML - Tianyu Pu

39:50

Lambda World 2019 - So I used Erlang...is my system as scalable as they say it'd be? - Laura Castro

28:25

Lambda World 2019 - You Don't Own Me - J Haigh

46:27

Lambda World 2019 - What FP Can Learn From Static Introspection - Aditya Siram (Deech)

41:21

Lambda World 2019 - Fun With Categories - Marco Perone

42:24

Lambda World 2019 - Implicits Revisited - Martin Odersky

44:48

Lambda World 2019 - Functional Smart Contracts - Manuel Chakravarty

42:17

Lambda World 2019 - Time-sensitive protocol: Links From Design to Implementation - Laura Bocchi

37:52

Lambda World 2019 - Refactoring Recursion - Harold Carr

27:25

Lambda World 2019 - What the F(p) is Kotlin? - Katie Levy & Shelby Cohen

45:28

Lambda World 2019 - A categorical view of computational effects - Emily Riehl

32:28

Lambda World 2019 - Thinking Like a Data Scientist - Em Grasmeder

24:39

Lambda World 2019 - Arrow Meta - Enabling Functional Programming in the Kotlin Compiler

46:09

Lambda World 2019 - Painless software development with Haskell - Paweł Szulc

32:33

Lambda World 2019 - Optimising your code with math - April Gonçalves

28:08

Lambda World 2019 - A Series of Unfortunate Effects - Robert M. Avram

45:19

Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen

2:31

A look inside Lambda World Cadiz 2019

2:18

Lambda World Cádiz is returning this October

1:27:26

Lambda World 2018 - Functional Programming Unconference

32:05

Lambda World 2018 - Imposter Syndrome and Individual Competence - Jessica Rose

30:50

Lambda World 2018 - Boring use cases for exciting types - Itamar Ravid

32:58

Lambda World 2018 - Rust and Haskell, sitting in a tree - Lisa Passing

37:07

Lambda World 2018 - The Complexity Trap: Think Before You Leap - Daniel Westheide

42:06

Lambda World 2018 - Functional Programming in Anger - David Nolen

35:04

Lambda World 2018 - How to make ad hoc proof automation less ad hoc - Aleksandar Nanevski

34:32

Lambda World 2018 - MirageOS, towards a smaller and safer OS - Romain Calascibetta

39:19

Lambda World 2018 - A roadtrip with monads: from MTL, through tagless to BIO - Paweł Szulc

46:27

Lambda World 2018 - Testing in the world of Functional Programming - Luka Jacobowitz

31:33

Lambda World 2018 - Functional Lenses in JavaScript - Flavio Corpa

37:37

Lambda World 2018 - Writing a Screencast Video Editor in Haskell - Oskar Wickstrom

37:08

Lambda World 2018 - Elixir - functional, concurrent, distributed programming - Andrea Leopardi

32:05

Lambda World 2018 - Headfirst into Haskell - Abby Sassel

45:16

Lambda World 2018 - Keynote: How Does Code Sound? - Felienne Hermans

37:48

Lambda World 2018 - Encoding our way to pure FP in Java - Jean-Baptiste Giraudeau

42:58

Lambda World 2018 - How to get away with functional programming in frontend applications

38:27

Lambda World 2018 - What Haskell Taught Us When We Weren't Looking - Eric Torreborre

47:42

Lambda World 2018 - Diagrammatic Execution Models for Functional Languages - Keynote

44:19

Lambda World 2018 - Rethinking compilers with live coding - Tomas Petricek

2:01

Meet Packlink - A Lambda World Cadiz Platinum Sponsor

1:02:15

Lambda World 2018 - Musical patterns as functions - Alexandra Cárdenas

42:52

Lambda World 2018 - The Radix Trees How IntMap Works - Tikhon Jelvis

40:59

Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason

36:06

Lambda World 2018 - A developer's guide to probabilistic programming - Evelina Gabasova

31:29

Lambda World 2018 - Abstract your representation and fix your functors by Susan Potter

32:22

Lambda World Seattle 2018 - Consensus Algorithms in Distributed Systems by Yifan Xing

43:37

Lambda World 2018 - What FP can learn from Smalltalk by Aditya Siram

40:00

Lambda World 2018 - Architecting Typed FP Applications & Libraries in Kotlin with Arrow by Raúl Raja

43:45

Lambda World 2018 - Dueling Keyboards - Chris Ford

31:17

Lambda World 2018 - Bringing the Jewels of the Python World to Scala with Spark by Holden Karau

47:49

Lambda World 2018 - Opening Keynote by Edward Kmett

45:33

Kotlin 102 Beyond the Basics - Hadi Hariri

1:34:22

Teaching functional programming in the ivory tower ... and in the kitchen - Unconference

43:28

Serverless Apps with Azure Functions in F# - Ruth Yakubu

47:38

Adjunctions in Everyday Life - Rúnar Bjarnason

37:31

Maths for Programming, Fun, and Creativity - Dave Gurnell and Noel Welsh

34:22

Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali

31:00

FP Degustation Menu - Hanneli Tavante

33:46

Monad Transformer State - Michael Snoyman

40:06

Functional Programming in Kotlin with Kategory - Raul Raja & Paco Estevez

35:57

Going Higher - Alejandro Serrano

40:32

A Pragmatic Introduction to Category Theory - Daniela Sfregola