Hardware Design and Functional Programming: a Perfect Match Export

@article{citeulike:2943543, abstract = {This is a slightly odd paper that explains why I am still as fascinated by the combination of functional programming and hardware design as I have ever been. It includes some looking back over my own research and that of others, and contains 60 references. It explains what kinds of research I am doing now, and why, and also presents some neat new results about parallel prefix circuits. It ends by posing lots of hard questions that we need to answer if we are to be able to design and verify circuits successfully in the future.}, author = {Sheeran, M.}, citeulike-article-id = {2943543}, citeulike-linkout-0 = {http://www.jucs.org/jucs_11_7/hardware_design_and_functional/jucs_11_7_1135_1158_sheeran.pdf}, keywords = {functional, hardware, haskell, meng, programming, vhdl}, posted-at = {2008-06-30 11:06:08}, priority = {3}, title = {Hardware Design and Functional Programming: a Perfect Match}, url = {http://www.jucs.org/jucs_11_7/hardware_design_and_functional/jucs_11_7_1135_1158_sheeran.pdf}, year = {2005} }

TY - JOUR ID - citeulike:2943543 L3 - citeulike-article-id:2943543 N2 - This is a slightly odd paper that explains why I am still as fascinated by the combination of functional programming and hardware design as I have ever been. It includes some looking back over my own research and that of others, and contains 60 references. It explains what kinds of research I am doing now, and why, and also presents some neat new results about parallel prefix circuits. It ends by posing lots of hard questions that we need to answer if we are to be able to design and verify circuits successfully in the future. TI - Hardware Design and Functional Programming: a Perfect Match KW - functional KW - hardware KW - haskell KW - meng KW - programming KW - vhdl AU - Sheeran, M PY - 2005/// UR - http://www.jucs.org/jucs_11_7/hardware_design_and_functional/jucs_11_7_1135_1158_sheeran.pdf ER -