Trustworthy Runtime Verification via Bisimulation - Experience Report
Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.
Dependently-Typed Programming with Logical Equality Reflection
Explore System DE, a calculus for dependently-typed programming with equality reflection. Learn about termination tracking, inductive proofs, and performance-safety trade-offs in functional languages.
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.
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.
Lightning Talks on Haskell Programming - Session II
Explore diverse Haskell topics through rapid-fire presentations, gaining insights into cutting-edge developments and innovative applications in functional programming.
Lightning Talks on Haskell Programming - Session I
Explore diverse Haskell topics through rapid-fire presentations at the Haskell Symposium, covering cutting-edge research and innovative applications in functional programming.
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.
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.
Solving Constraints During Type Inference - WITS'24
Explore GHC's type inference engine, covering bidirectional inference, implication constraints, level numbers, evidence generation, and quantified constraints in Haskell.
The Evolution of Effects in Functional Programming - From Monads to Higher-Order Effects
Explore the evolution of effectful programming in Haskell, from monads to higher-order effects, examining key milestones and their impact on functional programming paradigms.
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.
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.
Using Smoke and Mirrors to Compile a Functional Programming Language to Efficient GPU Code
Explore techniques for compiling functional languages to efficient GPU code, overcoming hardware restrictions through strategic language design and aggressive compiler optimizations.
Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Explore innovative payment systems using Haskell for type-safe, continuous money transfers. Learn about generalizing payments and implementing blockchain protocols with functional programming concepts.
A Hitchhiker's Guide to Linearity - Lambda Days 2023
Explore the world of linear logic in programming languages, from linear types to ownership systems, and discover their impact on safety and performance.
Wire All the Things - Flexible Code Wiring Techniques
Explore flexible code wiring techniques for protocol evolution, data generation, and modular applications using function lists in Haskell.
Predictable Systems Design with Clearly Defined Doubt and Uncertainty - Lambda Days 2023
Explore probabilistic design-time modeling for real-time distributed systems, focusing on functional programming principles to ensure quality and performance in complex software architectures.
Java and Haskell - A Comparative Analysis
Porównaj Javę i Haskella, poznając ich podobieństwa, różnice i mocne strony. Odkryj korzyści płynące z nauki języka czysto funkcyjnego i zrozum ewolucję Javy w kierunku programowania funkcyjnego.
The Power of Function Composition
Explore function composition strategies and combinators across multiple programming languages, enhancing your coding skills and problem-solving abilities.
The Imperatives Must Go - Functional Programming in Modern C++
Explore functional programming techniques in modern C++, including lambdas, STL algorithms, and upcoming features, to write clearer, shorter, and faster code using a declarative style.
Functional Correctness: Haskell-ing Your Way to Reliable Code - FSCK 2024
Explore functional programming with Haskell to create robust, maintainable software. Learn key concepts like referential transparency and purity to enhance code reliability and correctness.