SKI Combinator Calculus on an FPGA (2012)

Posted by alexcweiner on Saturday November 21, 2015 @02:27PM
from the assembla.com dept.

https://www.assembla.com/spaces/skiclub/wiki/Final_Report

( 4 comments | 24 points | on HN )

Re:SKI Combinator Calculus on an FPGA (2012) by sitkack on Saturday November 21, 2015 @08:04PM (#10608648)

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/

[ Parent | on HN ]

Re:SKI Combinator Calculus on an FPGA (2012) by jacquesm on Saturday November 21, 2015 @07:59PM (#10608637)

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.

[ Parent | on HN ]

Re:SKI Combinator Calculus on an FPGA (2012) by alexcweiner on Saturday November 21, 2015 @08:33PM (#10608713)

This was my group's senior project. none of us are working on this anymore.

[ Parent | on HN ]

Re:SKI Combinator Calculus on an FPGA (2012) by manyoso on Monday November 23, 2015 @12:03PM (#10615623)

What group was this? University project?

[ Parent | on HN ]