Author:
Abel Andreas,Benke Marcin,Bove Ana,Hughes John,Norell Ulf
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Embedding Functional Logic Programming in Haskell via a Compiler Plugin;Practical Aspects of Declarative Languages;2023
2. Regularity and quantification: a new approach to verify distributed protocols;Innovations in Systems and Software Engineering;2022-09-29
3. A Monadic Implementation of Functional Logic Programs;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
4. Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
5. Reasoning about the garden of forking paths;Proceedings of the ACM on Programming Languages;2021-08-22