Higher-Order Functions Courses
ACM SIGPLAN via YouTube Productivity Verification for Functional Programs by Reduction to Termination Verification
ACM SIGPLAN via YouTube Type Inference for Application Spines in Higher-Order Languages - WITS'24
ACM SIGPLAN via YouTube Automatic Parallelism Management - POPL 2024
ACM SIGPLAN via YouTube Simple Reference Immutability for System F-sub
ACM SIGPLAN via YouTube Full Guide to Kotlin's Inline Keyword - Inline, Crossinline, and Noinline
Philipp Lackner via YouTube