ICFP Video

Typing, Representing, and Abstracting Control Functional Pearl

ICFP Video

Extended Abstract F# OpenCL Type Providertalk

ICFP Video

Extended Abstract CoExtended Abstract Comprehending Monoids with Class

ICFP Video

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

ICFP Video

Sums of Products for Mutually Recursive Datatypes

ICFP Video

Generalized Abstract GHC.Generics

ICFP Video

State of GHC

ICFP Video

Type-level visible type application

ICFP Video

Clash A Practical Haskell to Circuit Compiler

ICFP Video

Coercion Quantification

ICFP Video

Pier Yet another Haskell build tool

ICFP Video

Source Plugins

ICFP Video

Implementing Linear Haskell

ICFP Video

Rhine FRP with Type-Level Clocks

ICFP Video

Embedding Invertible Languages with Binders

ICFP Video

Ghosts of Departed Proofs (Functional Pearl)

ICFP Video

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

ICFP Video

Preventing Data Races with Refinement Types

ICFP Video

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

ICFP Video

Comparing Strategies for Lightweight Threading Based on Continuations

ICFP Video

Modular Acceleration Tricky Cases of Functional High-Performance Computing

ICFP Video

Gibbon A Compiler for Recursive Functions on mostly Serialized Data

ICFP Video

Finding fixed points faster

ICFP Video

A domain theory for statistical probabilistic programming

ICFP Video

Taming Control Flow through Linear Effect Handlers

ICFP Video

A preview of a tutorial on L (polarized μμ̃)

ICFP Video

Functional programming with MLTS

ICFP Video

A Metalanguage for Guarded Iteration

ICFP Video

Winning on Windows porting the OCaml platform

ICFP Video

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

ICFP Video