Publisher
Springer International Publishing
Reference32 articles.
1. Abadi, M., Cardelli, L., Plotkin, G.: Types for the Scott numerals (1993)
2. Lecture Notes in Computer Science;T Altenkirch,1999
3. Lecture Notes in Computer Science;R Backhouse,1999
4. Brady, E.: Idris, a general-purpose dependently typed programming language: design and implementation. J. Funct. Program. 23(5), 552–593 (2013). https://doi.org/10.1017/S095679681300018X
5. Graduate Texts in Mathematics;GE Bredon,1993
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applying Continuous Formal Methods to Cardano (Experience Report);Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture;2024-08-28
2. Translation certification for smart contracts;Science of Computer Programming;2024-03
3. Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol;2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2023-05-01
4. Translation Certification for Smart Contracts;Functional and Logic Programming;2022
5. Flexible Formality Practical Experience with Agile Formal Methods;Lecture Notes in Computer Science;2020