[icfp24] A Correct-by-construction Conversion From Lambda Calculus To Combinatory Logic (jfp(…)

2025 18:36
Synopsis
A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls) (Video, ICFP 2024) ...

You Might Also Like

Programming with Math | The Lambda Calculus 21:48
Programming With Math | The Lambda Calculus
2025
Seven times Eight in Lambda Calculus 0:07
Seven Times Eight In Lambda Calculus
2019
Painting with functions in Cyfra - Szymon Rodziewicz | Lambda Days 2025 44:09
Painting With Functions In Cyfra - Szymon Rodziewicz | Lambd...
2026
Lambda calculus visualization: Y combinator 0:38
Lambda Calculus Visualization: Y Combinator
2019
Autology: Writing a self-rewriting Lisp - Dave Kimber | Lambda Days 2025 21:34
Autology: Writing A Self-rewriting Lisp - Dave Kimber | Lamb...
2026
A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks 54:17
A Flock Of Functions: Lambda Calculus And Combinatory Logic ...
2020
Beyond Purity and Functions: The Real Reason FP Matters - Haemin Yoo | Lambda Days 2025 22:50
Beyond Purity And Functions: The Real Reason Fp Matters - Ha...
2026
Your Backend is Too Complicated - Isaac Harris-Holt | Lambda Days 2025 21:11
Your Backend Is Too Complicated - Isaac Harris-holt | Lambda...
2026
C++ Weekly - Ep 507 - Insidious Accidental Lambda Conversion 7:23
C++ Weekly - Ep 507 - Insidious Accidental Lambda Conversion
2026
Jeffery Olson, "System R—A Practical Lambda Calculus Made for Extensibility in Rust" 1:19:47
Jeffery Olson, "system R—a Practical Lambda Calculus Made ...
2025
Lambda Calculus For Dummies: Introduction 4:32
Lambda Calculus For Dummies: Introduction
2025
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.