Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018
[PLDI'26] [SIGPLAN OOPSLA’25] Active Learning for Neurosymbolic Program Synthesis
CSE 340 11-25-15 Lecture: Lambda Calculus Pt. 2
OEIS A800260: Lambda calculus, rooted 3-polytopes, and hidden connections in combinatorics
CSE 340 S16: 4-15-16 Lambda Calculus Pt. 1
The Simply Typed Lambda Calculus
Lambda Calculus!
Leveraging Sparsity to Accelerate Automatic Differentiation | Hill | Paris 2025
Deep Dive
Data is compiled from public records and verified media reports.
Last Updated: August 15, 2026
Summary
For 2026, Oopsla 25 Opportunistically Parallel Lambda Calculus remains one of the most talked-about creator profiles. Check back for the latest updates.
Disclaimer: Disclaimer: All Verified Registry logs and creator system metrics are compiled from publicly accessible data, development records, and digital index testing.
![Exclusive [OOPSLA'25] Opportunistically Parallel Lambda Calculus System Hub](https://i.ytimg.com/vi/SnFU-cC1CRw/mqdefault.jpg)
![Verified [PLDI'26] [SIGPLAN OOPSLA’25] Homomorphism Calculus for User-Defined Aggregations Dev Index](https://i.ytimg.com/vi/_MmfzfWwHpE/mqdefault.jpg)
![Verified [OOPSLA'25] Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation Dev Index](https://i.ytimg.com/vi/1i5E-IkILvM/mqdefault.jpg)
![Foundations of Programming Languages: Polymorphic Lambda-Calculus [1/2] - Paul Downen - OPLSS 2018](https://i.ytimg.com/vi/amsnnASxceU/mqdefault.jpg)
![[PLDI'26] [SIGPLAN OOPSLA’25] Active Learning for Neurosymbolic Program Synthesis](https://i.ytimg.com/vi/f8DyasOJidQ/mqdefault.jpg)
![Exclusive [OOPSLA'25] The Simple Essence of Monomorphization System Hub](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)