Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Backus, J.: Can programming be liberated from the von neumann style? a functional style and its algebra of programs. Communications of the ACM 21(8), 613–641 (1978),
http://doi.acm.org/10.1145/359576.359579
2. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in haskell. In: ICFP 1998 (January 1998),
http://portal.acm.org/citation.cfm?id=289440
3. Lecture Notes in Computer Science;K. Claessen,1999
4. Erkök, L., Launchbury, J.: Recursive monadic bindings. In: Proceedings of ICFP 2000, pp. 174–185. ACM (2000),
http://doi.acm.org/10.1145/351240.351257
5. Gill, A.: Type-safe observable sharing in haskell. In: Haskell Symposium, pp. 117–128. ACM (2009),
http://doi.acm.org/10.1145/1596638.1596653
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Mechanized Semantic Metalanguage for High Level Synthesis;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
2. Strongly bounded termination with applications to security and hardware synthesis;Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development;2020-08-09
3. Selective applicative functors;Proceedings of the ACM on Programming Languages;2019-07-26
4. The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware;ACM Transactions on Embedded Computing Systems;2019-02-28
5. Synchronous digital circuits as functional programs;ACM Computing Surveys;2013-11