Author:
Benton Nick,Hughes John,Moggi Eugenio
Publisher
Springer Berlin Heidelberg
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On reduction and normalization in the computational core;Mathematical Structures in Computer Science;2022-08
2. Evolution of a haskell repository and its use of monads;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
3. Towards a Practical Library for Monadic Equational Reasoning in Coq;Lecture Notes in Computer Science;2022
4. From Semantics to Types: the Case of the Imperative lambda-Calculus;Electronic Proceedings in Theoretical Computer Science;2021-12-29
5. The next 700 relational program logics;Proceedings of the ACM on Programming Languages;2020-01