All topics

Haskell

The Haskell programming language

Talks (39)

Automating Type-Driven Development with (Co)algebras
Talk 23:00 Automating Type-Driven Development with (Co)algebras

Juan Manuel Serrano Hidalgo

Lambda Days 2025

Create your first Language Server in Haskell
Talk 22:00 Create your first Language Server in Haskell

Arthur Jamet

Lambda Days 2025

Effect Systems in Practice Hécate
Talk 40:00 Effect Systems in Practice Hécate

Hécate

Lambda Days 2025

Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200
Talk 46:00 Haskell for FPGA design: It's easy as 1 - 2 - 3 ... 419,200

Gergő Érdi

Lambda Days 2025

Haskell is Eating my Rails App from the Inside Out
Talk 45:00 Haskell is Eating my Rails App from the Inside Out

Brian Carroll

Lambda Days 2025

Hoogle for the Hungry Masses!
Talk 46:00 Hoogle for the Hungry Masses!

Farhad Mehta

Lambda Days 2025

Lightning Talk: Multiplayer FPS in Haskell; Raycasting in SSH
Lightning Talk 4:00 Lightning Talk: Multiplayer FPS in Haskell; Raycasting in SSH

Amedeo Molnár

Lambda Days 2025

Production Haskell Regrets
Talk 21:00 Production Haskell Regrets

Jezen Thomas

Lambda Days 2025

Profunctor User Interfaces
Talk 21:00 Profunctor User Interfaces

Eryk Ciepiela

Lambda Days 2025

Detecting Noninterference Violations with Property-Based Testinganda Andrade
Talk 21:00 Detecting Noninterference Violations with Property-Based Testinganda Andrade

Lambda Days 2024

fast - grepping SQL code like a boss
Talk 45:00 fast - grepping SQL code like a boss

Jônatas Paganini

Lambda Days 2024

From 1 to 100k users: Lessons learned from scaling a Haskell app
Talk 21:00 From 1 to 100k users: Lessons learned from scaling a Haskell app

Felix Miño

Lambda Days 2024

Haskell is just the beginning
Lightning Talk 6:00 Haskell is just the beginning

Lambda Days 2024

Modelling Things with Persistent Types
Lightning Talk 6:00 Modelling Things with Persistent Types

Lambda Days 2024

Task-Oriented Functional Programming for Industrial Applications
Keynote 1:10:00 Task-Oriented Functional Programming for Industrial Applications

Rinus Plasmeijer

Lambda Days 2024

The design and (...) of embedded Domain Specific Languages
Talk 47:00 The design and (...) of embedded Domain Specific Languages

Mart Lubbers

Lambda Days 2024

A Hitchhiker's Guide to Linearity
Talk 47:00 A Hitchhiker's Guide to Linearity

Daniel Marshall

Lambda Days 2023

Bringing LAMBDA to Excel
Talk 19:00 Bringing LAMBDA to Excel

Jack Williams

Lambda Days 2023

C++ vs Haskell vs BQN
Lightning Talk 5:00 C++ vs Haskell vs BQN

Conor Hoekstra

Lambda Days 2023

Keynote: Delimited Continuations, Demystified
Keynote 1:03:00 Keynote: Delimited Continuations, Demystified

Alexis King

Lambda Days 2023

Predictable Systems Design with Clearly Defined Doubt & Uncertainty
Talk 48:00 Predictable Systems Design with Clearly Defined Doubt & Uncertainty

Kevin Hammond

Lambda Days 2023

QuickCheck Dynamic: Testing Hard Properties and Staying Sane
Talk 44:00 QuickCheck Dynamic: Testing Hard Properties and Staying Sane

Maximilian Algehed

Lambda Days 2023

The Unbearable Weight of Glue
Talk 48:00 The Unbearable Weight of Glue

Mario Rogic

Lambda Days 2023

When Testing Just Doesn't Cut It
Talk 43:00 When Testing Just Doesn't Cut It

Lars Hupel

Lambda Days 2023

A Generic Back End for Exploratory Programming
Talk 27:00 A Generic Back End for Exploratory Programming

Damian Frolich

Lambda Days 2021

Adventures in the Browser and Node.js without Writing JavaScript
Talk 38:00 Adventures in the Browser and Node.js without Writing JavaScript

Susan Potter

Lambda Days 2021

Asynchronous Shared Data Sources
Talk 25:00 Asynchronous Shared Data Sources

Mart Lubbers

Lambda Days 2021

Dynamic Creation of Well Typed DSL Expressions
Talk 26:00 Dynamic Creation of Well Typed DSL Expressions

Pieter Koopman

Lambda Days 2021

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

Michał J. Gajda

Lambda Days 2021

Generating Programs from Types
Talk 50:00 Generating Programs from Types

Nadia Polikarpova

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: Programming Languages in Agda = Programming Language Properties
Keynote 53:00 Keynote: Programming Languages in Agda = Programming Language Properties

Philip Wadler

Lambda Days 2021

Multicloud Bindings from Web Pages
Talk 25:00 Multicloud Bindings from Web Pages

Michał J. Gajda

Lambda Days 2021

C Preprocessor Macros from Functional Programs
Talk 23:00 C Preprocessor Macros from Functional Programs

Boldizsár Németh

Lambda Days 2016

Getting Started with Frege
Talk 48:00 Getting Started with Frege

Lech Głowiak

Lambda Days 2016

Propositions as Types
Keynote 57:00 Propositions as Types

Philip Wadler

Lambda Days 2016

The Mysteries of Dropbox
Talk 40:00 The Mysteries of Dropbox

John Hughes

Lambda Days 2016

Truth about Types
Keynote 1:12:00 Truth about Types

Bartosz Milewski

Lambda Days 2016