High Level Synthesis of Pipelined Datapaths
Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)
