Lambda Calculus Courses and Certifications

Java

Lambda Expressions in Java - Performance and Advanced Applications

Explore lambda expressions in Java, from syntax to performance implications, and discover mind-bending functional programming techniques to solve complex problems using only lambdas.

• YouTube
• 44 minutes
• On-Demand
• Free Video

NDC Conferences

Live Lambda Calculus

Explore lambda calculus through live coding, building an interpreter in F# and demonstrating its practical applications in functional programming.

• YouTube
• 1 hour 1 minute
• On-Demand
• Conference Talk

NDC Conferences

Dependency Injection Revisited

Explore functional programming approaches to Dependency Injection, examining non-deterministic behavior control and its application in both functional and object-oriented paradigms.

• YouTube
• 54 minutes
• On-Demand
• Conference Talk

NDC Conferences

Dependency Injection Revisited

Explore alternative approaches to Dependency Injection, examining functional programming concepts and their applicability to object-oriented programming. Gain insights into controlling non-deterministic behavior in software development.

• YouTube
• 56 minutes
• On-Demand
• Conference Talk

NDC Conferences

Turing's Toy - The Story of a Mathematical Idea That Changed the World

Explore Turing's revolutionary 'universal machine' concept, its historical context, and far-reaching impact on computer science and technology in this engaging talk.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

NDC Conferences

Lambda? You Keep Using that Letter

Explore the history, syntax, and uses of lambdas across programming languages, examining their origins and relationship to data abstraction in this insightful talk.

• YouTube
• 1 hour 1 minute
• On-Demand
• Conference Talk

GOTO Conferences

Fun with the Lambda Calculus

Explore the lambda calculus through hands-on exercises using Vim and CLI. Learn to build computing structures from basic lambda functions in this engaging presentation.

• YouTube
• 49 minutes
• On-Demand
• Conference Talk

Scala Days Conferences

Functional Programming Essentials

Explore functional programming's origins, principles, and practical applications in Scala. Learn about pure functions, immutability, and how to apply FP concepts in everyday work without complex abstractions.

• YouTube
• 49 minutes
• On-Demand
• Conference Talk

EuroPython Conference

Mary Had a Little Lambda

Explore lambda calculus: from simple Python functions to powerful abstractions. Learn to create booleans, integers, operators, and data structures using only lambda functions.

• YouTube
• 44 minutes
• On-Demand
• Conference Talk

CppNow

Trees for Logic and Parsing in C++

Explore efficient implementation of recursive tree-types in C++ for logic and parsing, with insights on construction, inspection, and replacement of subtrees.

• YouTube
• 1 hour 25 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Propositions as Types

Explore the profound connection between logic and computation, delving into the Propositions as Types principle and its impact on theorem provers, programming languages, and computing frontiers.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

The Road to Akka Cluster, and Beyond

Exploring distributed computing landscape, from early computer architecture to modern challenges. Covers key theories, protocols, and technologies, with insights into Akka Cluster's design and future developments.

• YouTube
• 44 minutes
• On-Demand
• Conference Talk

Ben Eater

Making a Computer Turing Complete

Explore Turing completeness, Turing machines, and Lambda calculus, and learn how to make an 8-bit breadboard computer capable of solving any computable problem.

• YouTube
• 18 minutes
• On-Demand
• Free Video

code::dive conference

Thinking Outside the Synchronisation Quadrant

Explore concurrency, architecture, and software development challenges with Kevlin Henney. Gain insights on system properties, code execution states, and functional programming approaches to improve performance and maintainability.

• YouTube
• 1 hour 33 minutes
• On-Demand
• Conference Talk

Hausdorff Center for Mathematics

Formalization of Nominal Equational Reasoning in PVS - Nominal Unification

Explore nominal equational reasoning and unification in PVS, focusing on formalizing techniques for handling bound variables in logical systems and programming languages.

• YouTube
• 38 minutes
• On-Demand
• Free Video