Haskell Courses and Certifications

ACM SIGPLAN

The Evolution of Effects in Haskell - From Monads to Higher-Order Effects

Explore the evolution of effectful programming in Haskell, from monads to higher-order effects. Gain insights into harmonizing pure functional programming with real-world computational effects.

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

ACM SIGPLAN

Effect Handlers for Programmable Inference - Haskell 2023

Explore effect handlers for modular inference programming in probabilistic algorithms, revealing high-level structures and enabling easy customization of Metropolis-Hastings and particle filtering methods.

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

ACM SIGPLAN

Haskell for Choice-Based Learning in Machine Learning Programming

Explore language design for machine learning, focusing on choice-based learning. Combine algebraic effects, handlers, and selection monad to create powerful frameworks for decision-making models and optimization techniques.

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

ACM SIGPLAN

Efficient Loops in Arrowized Functional Reactive Programming - Haskell 2023

Explore efficient loop optimization in Arrowized Functional Reactive Programming, improving performance through novel program transformations while maintaining correctness in Haskell.

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

ACM SIGPLAN

More Fixpoints - Solving Recursive Problems in Haskell

Explore innovative solutions for recursive Haskell programming, overcoming limitations and enabling elegant, productive code using pure data structures with enhanced fixpoint capabilities.

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

ACM SIGPLAN

Modal FRP for All: Functional Reactive Programming Without Space Leaks in Haskell

Explore Modal FRP in Haskell: Learn to prevent space leaks in functional reactive programming and implement a Pong game using this technique.

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

ACM SIGPLAN

GHC Status Report - Haskell Compiler Updates and Improvements

Explore GHC's latest developments, including quality-of-life improvements, WebAssembly support, dependent types, and linear types in this comprehensive status report.

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

ACM SIGPLAN

Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture

Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.

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

ACM SIGPLAN

Asynchronous Reactive Programming with Modal Types in Haskell

Explore asynchronous reactive programming using modal types in Haskell. Learn about Async Rattus, an embedded FRP language with compile-time clock tracking for efficient asynchronous system composition.

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

ACM SIGPLAN

Haskell Symposium 2024 - Session 3

Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.

• YouTube
• 9 hours 13 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Haskell Symposium 2024 - Session 3

Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.

• YouTube
• 7 hours 26 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Type Inference for Application Spines in Higher-Order Languages - WITS'24

Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.

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

ACM SIGPLAN

Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design

Explore Domain-Driven Design principles for enhancing Glasgow Haskell Compiler's architecture, addressing immutability, modularity, and composability in large-scale functional systems.

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

ACM SIGPLAN

Integrating Liquid Haskell with GHC - Challenges and Trade-offs

Explore challenges and trade-offs of integrating Liquid Haskell with GHC, examining maintenance issues, potential benefits, and implications for Haskell development.

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

ACM SIGPLAN

GHC Plugin for Setting Breakpoints in Concurrent Programs

Explore a GHC plugin for improved breakpoint functionality in concurrent programs, addressing limitations in GHCi's built-in debugger.

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