Deriving as a Library - Type Classes and Language Features
Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.
GHC-Specter: A Plugin for Live Inspection of GHC Internal States
Explore ghc-specter, a GHC plugin for real-time inspection and visualization of GHC's internal states during compilation, enabling interactive debugging and performance analysis.
Severing Ties: The Need for Non-Updateable Thunks
Explore non-updateable thunks in Haskell to prevent memory leaks and optimize garbage collection in streaming abstractions and control flow scenarios.
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.
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.
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.
Etna: An Evaluation Platform for Property-Based Testing - Experience Report
Explore Etna, a platform for evaluating property-based testing techniques. Compare popular frameworks in Coq and Haskell to understand best practices and tradeoffs in functional programming.
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.
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.
HasTEE: Programming Trusted Execution Environments with Haskell
Explore HasTEE, a Haskell-embedded DSL for programming Trusted Execution Environments. Learn how it simplifies TEE application development with automatic partitioning and enhanced security features.
The Essence of Reactivity
Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.
A Haskell Auto-Parallelizer for Distributed Computing
Explore a Haskell auto-parallelizer for distributed computing, leveraging function purity to create scalable and performant applications on large clusters.
An Exceptional Actor System in Haskell - Functional Pearl
Explore a hidden actor framework in GHC's runtime system, demonstrating its power through distributed systems examples and discussing implications for feature constraints.
Haskell Library for Safer Virtual Machine Introspection - Experience Report
Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.
I Haskell a Git - Implementing Git in Haskell
Explore Git's internals through Haskell implementation, gaining insights into version control and functional programming concepts for enhanced software engineering skills.
Haskell on the JVM with Eta - Compilation and Runtime Evaluation
Explore Eta, a GHC fork enabling Haskell on JVM. Learn about bytecode generation, lazy evaluation runtime, and solving the "JVM problem" for practical Haskell programs.
Interoperability between R and Other Languages
Explore techniques for integrating R with other programming languages, leveraging R's statistical libraries while developing in preferred environments. Learn about various interoperability options and tools.
Orthotope - APL-Inspired Arrays for Haskell - Lambda Days 2022
Explore Orthotope, a Haskell library for multi-dimensional arrays inspired by APL. Learn efficient structural operations, clever array representation, and various implementations for different storage and typing needs.
C++ Error Handling Revisited
Explore error handling in Haskell and its influence on other languages, with a focus on applying functional programming concepts to C++ and examining C++17 features.
Fast Deep Learning with Categories
Explore GPU-accelerated deep learning using Haskell, ConCat, and Accelerate for high-performance industrial applications.