Lambda Calculus Courses and Certifications

GOTO Conferences

An Alien Lambda Calculus - Exploring Alternative Computational Models

Explore an alien lambda calculus: a thought experiment on alternate physics and philosophies, offering insights into compiler design and functional programming concepts.

• YouTube
• 30 minutes
• On-Demand
• Free Online Course

Programming Languages Ⅰ

10 ratings at Coursera

Explore programming language concepts through interpreter implementation and operational semantics, enhancing language learning, evaluation, and design skills.

• Coursera
• 13 hours 18 minutes
• On-Demand
• Free Online Course (Audit)

Open Data Science

Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019

Explore abstract meaning representation in NLP, its algorithms, and applications. Learn about AMR graphs and their potential to enhance question answering, summarization, and text simplification.

• YouTube
• 44 minutes
• On-Demand
• Free Online Course

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

Devoxx

From Javascript to Haskell - Functional Programming Made Simple

Demystifying functional programming concepts through live coding, transforming imperative code to functional. Explore key principles like higher-order functions, closures, and currying for clearer, more efficient code.

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

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 Online Course

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

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

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

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

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

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 Online Course

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