Author:
Claessen Koen,Sands David
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Z. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler. A call-byneed lambda calculus. In Proc. POPL’95, ACM Press, 1995.
2. Z. M. Ariola and A. Sabry. Correctness of monadic state: An imperative call-by-need calculus. In Proc. POPL’98, pages 62–74. ACM Press, 1998.
3. P. Bjesse, K. Claessen, M. Sheeran, and S. Singh. Lava: Hardware design in Haskell. In ICFP’98. ACM Press, 1998.
4. B. Cook, J. Launchbury, and J. Matthews. Specifying superscalar microprocessors in Hawk. In Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998.
5. Matthias Felleisen and Robert Hieb. The revised report on the syntactic theories of sequential control and state. TCS, 103:235–271, 1992.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. More Fixpoints! (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
2. Embedded pattern matching;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
3. Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars;Electronic Proceedings in Theoretical Computer Science;2020-08-27
4. Functional Reactive EDSL with Asynchronous Execution for Resource-Constrained Embedded Systems;Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing;2019-08-23
5. D'Artagnan;Proceedings of the Real World Domain Specific Languages Workshop 2018 on - RWDSL2018;2018