Haskell to VHDL/Verilog/SystemVerilog compiler
A programming language that understands what a web app is
Compiler for Elm, a functional language for reliable webapps
A data-parallel functional programming language
A GHC-based Haskell to JavaScript compiler
dependently typed functional programming language