Talks (1323)

Watch and revisit talks from across the community

All Published Scheduled

Sort: Newest Oldest A–Z

Fast XML/HTML for Haskell: XML TypeLift

Talk 28:00 Fast XML/HTML for Haskell: XML TypeLift

Michał J. Gajda

Lambda Days 2021

From FP to OO in the Classroom

Talk 28:00 From FP to OO in the Classroom

Lambda Days 2021

Functional Programming: the Glue for Introducing Computing through Data Science

Talk 47:00 Functional Programming: the Glue for Introducing Computing through Data Science

Lambda Days 2021

Generating Programs from Types

Talk 50:00 Generating Programs from Types

Nadia Polikarpova

Lambda Days 2021

Industry versus Academia? Learning and Teaching Programming

Keynote 1:04:00 Industry versus Academia? Learning and Teaching Programming

Simon Thompson , Francesco Cesarini

Lambda Days 2021

Introducing Nx

Keynote 53:00 Introducing Nx

Lambda Days 2021

JIT for Dynamic Programming Languages Considered Easy

Talk 21:00 JIT for Dynamic Programming Languages Considered Easy

Lambda Days 2021

Keynote: Excel Meets Lambda

Keynote 51:00 Keynote: Excel Meets Lambda

Andy Gordon , Simon Peyton Jones

Lambda Days 2021

Keynote: Functorio - Having Fun with Functional Programming

Keynote 49:00 Keynote: Functorio - Having Fun with Functional Programming

Bartosz Milewski

Lambda Days 2021

Keynote: Hardware as Software

Keynote 1:05:00 Keynote: Hardware as Software

Lambda Days 2021

Keynote: Humane Tech

Keynote 59:00 Keynote: Humane Tech

Karolina Iwańska , Kamil Grondys

Lambda Days 2021

Keynote: Programming Languages in Agda = Programming Language Properties

Keynote 53:00 Keynote: Programming Languages in Agda = Programming Language Properties

Lambda Days 2021

Keynote: Writing Good Programs in Functional Languages

Keynote 54:00 Keynote: Writing Good Programs in Functional Languages

Perdita Stevens

Lambda Days 2021

Multicloud Bindings from Web Pages

Talk 25:00 Multicloud Bindings from Web Pages

Michał J. Gajda

Lambda Days 2021

Program Equivalence in Sequential Core Erlang

Talk 25:00 Program Equivalence in Sequential Core Erlang

Péter Bereczky , Dániel Horpácsi

Lambda Days 2021

Reimplementing the Wheel: Teaching Compilers with a Twist

Talk 26:00 Reimplementing the Wheel: Teaching Compilers with a Twist

Dmitry Boulytchev

Lambda Days 2021

Secrets of Type Driven Program Synthesis

Talk 50:00 Secrets of Type Driven Program Synthesis

Lambda Days 2021

Sound on BEAM: Music in the Land of Distributed Lisp

Talk 25:00 Sound on BEAM: Music in the Land of Distributed Lisp

Duncan McGreggor

Lambda Days 2021

Teaching Automated Reasoning and Formally Verified Software

Talk 25:00 Teaching Automated Reasoning and Formally Verified Software

Jørgen Villadsen

Lambda Days 2021

Teaching Programming to Novices Using the codeBoot Environment

Talk 26:00 Teaching Programming to Novices Using the codeBoot Environment

Olivier Melançon

Lambda Days 2021

Toward Automated Feedback in HtDP-based Programming: A DSL Approach

Talk 25:00 Toward Automated Feedback in HtDP-based Programming: A DSL Approach

Lambda Days 2021

Translating Lambda Calculus into C++ Templates

Talk 27:00 Translating Lambda Calculus into C++ Templates

Lambda Days 2021

Simplifying Systems with Elixir

Talk Simplifying Systems with Elixir

A Journey to the Center of the BEAM

Talk 42:00 A Journey to the Center of the BEAM

Async Jobs in Phoenix

Talk 19:00 Async Jobs in Phoenix

George Guimaraes

Code Generation in Elixir

Talk 44:00 Code Generation in Elixir

Concurrency + Distribution = Scalability + Availability

Talk 46:00 Concurrency + Distribution = Scalability + Availability

Francesco Cesarini

Giving Back: Building Your First Package

Talk 19:00 Giving Back: Building Your First Package

Brian Cardarella

Letting the Phoenix Fly in Production

Talk 19:00 Letting the Phoenix Fly in Production

Micropatterns: Learning to Reach Quickly for the Right Tool

Talk 37:00 Micropatterns: Learning to Reach Quickly for the Right Tool

Real World Elixir Deployment

Talk 41:00 Real World Elixir Deployment

The Climb: Experiencing the Rise of Elixir from the Inside

Talk 49:00 The Climb: Experiencing the Rise of Elixir from the Inside

The Journey to Elixir in Production (at Scale)

Talk 24:00 The Journey to Elixir in Production (at Scale)

A Peek Inside the Elixir Language Server

Talk 29:00 A Peek Inside the Elixir Language Server

ElixirConf US 2020

Applying Elixir for Driving Small Hydropower Plants with Nerves

Talk 26:00 Applying Elixir for Driving Small Hydropower Plants with Nerves

ElixirConf US 2020

Building Multiplayer Games with LiveView

Talk 30:00 Building Multiplayer Games with LiveView

ElixirConf US 2020