optimization

Projects

HSC Haskell Supercompiler

Haskell

The Haskell Supercompiler aims to bring back supercompilation to Haskell.

supercompilation

partial-evaluation

static-analysis

theorem-proving

Posts

Publications