SKI Combinator Calculus on an FPGA (2012)

Emma Burrows did an excellent writeup of her SKI Combinator processor in 2009, http://cstein.kings.cam.ac.uk/~chris/part2/eb379.pdf

See also the Reduceron2 https://www.cs.york.ac.uk/fp/darcs/reduceron2/_darcs/invento... which was designed to run Haskell directly in hardware.

It would be interesting to fuse this work with RISCV, http://riscv.org/

I love these 'compile to hardware' projects. Pity they didn't manage to get the speedup they hoped for from the parallel approach, curious how the next version benchmarks against this one.