Author:
Gill Andy,Bull Tristan,Kimmell Garrin,Perrins Erik,Komp Ed,Werling Brett
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware design in haskell. In: International Conference on Functional Programming, pp. 174–184 (1998)
2. Singh, S., James-Roxby, P.: Lava and jbits: From hdl to bitstream in seconds. In: FCCM 2001: Proceedings of the the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, Washington, DC, USA, pp. 91–100. IEEE Computer Society, Los Alamitos (2001)
3. Lecture Notes in Computer Science;K. Claessen,1999
4. Gill, A.: Type-safe observable sharing in Haskell. In: Proceedings of the 2009 ACM SIGPLAN Haskell Symposium (September 2009)
5. Singh, S.: Designing reconfigurable systems in lava. In: International Conference on VLSI Design, p. 299 (2004)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Loop Rerolling for Hardware Decompilation;Proceedings of the ACM on Programming Languages;2023-06-06
2. Embedded pattern matching;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
3. Implicit state machines;Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2022-06-14
4. Metaprogramming with combinators;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17
5. Wire sorts: a language abstraction for safe hardware composition;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18