74 тысяч подписчиков
548 видео
Jose Cardona- Fun with Lattices- λC 2019
François René Rideau - First Class Implementations: Climbing up the Semantic Tower - λC 2018
Jimmy Sambuo: How To Use Covariance and Contravariance to Build Flexible and Robust Programs
Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019
J Haigh - Seriously, The Haskell Type Checker is Your Friend - λC 2018
Malebolgia - Structured Concurrency for Nim by Andreas Rumpf
Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017
Mark Moore- Whirlwind Tour of the Scala Functional Programming Ecosystem- λC 2019
Hongbo Zhang - Introduction to MoonBit and its Async Model (KEYNOTE)
Will King - Lessons from Building a Game Engine from Scratch in Gleam
Vlad Patryshev - A Gentle Introduction to Modern Model Theory - λC 2018
Justin Le - Enhancing your Haskell with Dependently Typed Programming - λC 2017
Interview with Jonathan Blow at LambdaConf 2024
John DeGoes- Asynchronous and Concurrent Programming in Scala Part 1- λC 2019
Aaron Hsu- Modern APL in the Real World: Theory, Practice, Case Studies- λC 20 Global Edition
Dillon Kearns- Elm GraphQL Workshop- λC 2019
Michael Chavinda - Froid: Functional Programming on Android - λC 2017
Intro To Progressive Web Apps by Chris Lorenzo
