Author:
Baaij Christiaan,Kuper Jan
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Baaij, C.P.R., Kooijman, M., Kuper, J., Boeijink, W.A., Gerards, M.E.T.: CλaSH: Structural Descriptions of Synchronous Hardware using Haskell. In: Proceedings of the 13th Conference on Digital System Design, USA, pp. 714–721. IEEE Computer Society (September 2010)
2. Gerards, M.E.T., Baaij, C.P.R., Kuper, J., Kooijman, M.: Higher-Order Abstraction in Hardware Descriptions with CλaSH. In: Proceedings of the 14th Conference on Digital System Design, USA, pp. 495–502. IEEE Computer Society (August 2011)
3. Mitchell, N., Runciman, C.: Losing Functions without Gaining Data. In: Proceedings of the Second Symposium on Haskell, pp. 13–24. ACM (September 2009)
4. Frankau, S.: Hardware Synthesis from a Stream-Processing Functional Language. PhD thesis, University of Cambridge (July 2004)
5. Peyton Jones, S. (ed.): Haskell 98 Language and Libraries. Journal of Functional Programming, vol. 13 (2003)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating circuits with generators;Proceedings of the ACM on Programming Languages;2022-08-29
2. A memory-based entorhinal-hippocampal model and its FPGA implementation by on-chip RAMs;2022 IEEE International Symposium on Circuits and Systems (ISCAS);2022-05-28
3. A Mechanized Semantic Metalanguage for High Level Synthesis;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
4. The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware;ACM Transactions on Embedded Computing Systems;2019-02-28
5. CASCA;ACM Transactions on Design Automation of Electronic Systems;2018-12-21