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 Video

Confreaks

La-La-Lambda Calculus: A Functional Musical Journey

Explore lambda calculus through a musical journey, discovering its power to represent programs as pure functions and its role in functional programming.

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

Centre International de Rencontres Mathématiques

Weighted Relational Models

Explore weighted relational models in differential λ-calculus and linear logic with Guy McCusker's insightful conference talk at CIRM.

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

Code Sync

Uncomputable Functions - Exploring the Limits of Computation

Explore the fascinating world of uncomputable functions, their implications for lambda calculus, and the limits of computation in this thought-provoking presentation.

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

Code Sync

Lambda Calculus Beep Boop - A Humane Representation of Lambda Calculus Terms

Explore "beep boop," a humane representation of lambda calculus terms inspired by sound, offering an easier alternative to traditional notations for humans to utter and understand.

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

ACM SIGPLAN

Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus

Explore the isomorphism between Taylor expansion of λ-terms and pointer concurrent games interpretation, extending previous results on resource terms and game semantics.

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

ACM SIGPLAN

Operational Game Semantics for Generative Algebraic Effects and Handlers

Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus with dynamic allocation of effect instances.

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

ACM SIGPLAN

Operational Game Semantics for Generative Algebraic Effects and Handlers

Explore operational game semantics for generative algebraic effects and handlers in a typed call-by-value λ-calculus, focusing on dynamic allocation and first-class effect instances.

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

ACM SIGPLAN

Hashing Modulo Context-Sensitive Alpha-Equivalence - PLDI 2024

Explore efficient hashing for lambda-terms with context-sensitive alpha-equivalence. Learn about improved algorithms for subterm comparison and structure sharing in mathematical knowledge graphs.

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

ACM SIGPLAN

Resource-Aware Soundness for Big-Step Semantics

Explore resource-aware extensions to lambda calculus semantics and type systems, ensuring well-typed programs avoid resource exhaustion through coinductive reasoning and big-step formalization.

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

ACM SIGPLAN

On the Metatheory of IRs and the CPS-Calculus

Explore the metatheory of IRs and CPS-calculus, examining their foundations, semantics, and applications in compiler optimization and dependently-typed programming languages.

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

Centre International de Rencontres Mathématiques

Böhm Trees and Taylor Expansion

Explore Böhm trees and Taylor expansion in lambda calculus, delving into their mathematical properties and applications in differential linear logic.

• YouTube
• 1 hour 32 minutes
• On-Demand
• Free Video

Programming Languages Ⅰ

11 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 Video

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