Skills
Experience
Education
Projects
Posts
Publications
haskell
Projects
HSC Haskell Supercompiler
Haskell
The Haskell Supercompiler aims to bring back supercompilation to Haskell.
haskell
supercompilation
optimization
partial-evaluation
static-analysis
theorem-proving
Posts
Publications
Skills
Experience
Education
Projects
Posts
Publications