The Reduceron
Matthew Naylor,Colin Runciman andJason Reich Sponsored by Engineering and Physical Sciences Research Council, UK FPGA kit provided by From October 2008 to March 2010, we worked on the EPSRC-funded project The Reduceron: High-Level Symbolic Computing on FPGA. This web-page makes available the results of the project.
https://www.cs.york.ac.uk/fp/reduceron/