MicroHs: A Small Compiler for Haskell
Abstract
MicroHs is a compiler for Haskell2010. It translates Haskell to SKI style combinators via λ-calculus. The runtime system is quite small with few dependencies.
DOI 10.1145/3677999.3678280
Related papers
- Rewriting a shallow DSL using a GHC compiler extension GPCE 2017
- Injective type families for Haskell Haskell 2015
- Haskell in Space JFP 2003
- PAEAN: Portable and scalable runtime support for parallel Haskell dialects JFP 2016
- Correctness of an STM Haskell implementation ICFP 2013
- Simple and compositional reification of monadic embedded languages ICFP 2013
- Solving the snake cube puzzle in Haskell JFP 2013
- A lightweight implementation of generics and dynamics Haskell 2002