Proofs for Extensible Data Types with Ad-Hoc Polymorphism

Code for "Typilus: Neural Type Hints" PLDI 2020

The Brown Benchmark for Table Types (B2T2)

A deterministic parser with fused lexing

jax-triton contains integrations between JAX and OpenAI Triton

Staged compilation with dependent types

OCaml with macros

The MaPLe compiler: efficient and scalable parallel functional programming

Microsoft Collective Communication Library

Extending JAX with custom C++ and CUDA code

Research language for array processing in the Haskell/ML family

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Benchmarking algebraic effect handler implementations

Robust multi-prompt delimited control and effect handlers in C/C++

A PowerPoint add-in that splits slides according to slideshow-time animation effects

egg is a flexible, high-performance e-graph library

Alternative algorithm for algebraic subtyping.

Efficient Haskell effect handlers based on evidence translation.

A fast, flexible, fused effect system for Haskell

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

Madoko is a fast markdown processor for high quality academic and technical articles

Koka language compiler and interpreter

The AMP web component framework.

Haskell 101 and 102: slides and codelabs

A special interest group for companies and individuals interested in commercial usage of Haskell

Being archives for papers/projects I've worked on in my PhD studies.

Distributive Disjoint Polymorphism for Compositional Programming