Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL

Extended Abstract: F# OpenCL Type Providertalk

Extended Abstract: CoExtended Abstract: Comprehending Monoids with Class

Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL

Typing, Representing, and Abstracting Control: Functional Pearl

State of GHC

Generalized Abstract GHC.Generics

Pier: Yet another Haskell build tool

Type-level visible type application

Clash: A Practical Haskell to Circuit Compiler

Coercion Quantification

Implementing Linear Haskell

Source Plugins

Ghosts of Departed Proofs (Functional Pearl)

Embedding Invertible Languages with Binders

A High-Performance Multicore IO Manager Based on libuv (Experience Report)

Modular Acceleration: Tricky Cases of Functional High-Performance Computing

Comparing Strategies for Lightweight Threading Based on Continuations

HELIX: A Case Study of a Formal Verification of High Performance Program Generation

Gibbon: A Compiler for Recursive Functions on mostly Serialized Data

A Metalanguage for Guarded Iteration

Taming Control Flow through Linear Effect Handlers

R&B: Towards bringing functional programming to everyday's web programmer

Winning on Windows: porting the OCaml platform

Wall: rendering vector graphics with OCaml and OpenGL