Author:
Slieptsov Igor,Ismailova Larisa,Kosikov Sergey,Wolfengagen Viacheslav
Publisher
Springer International Publishing
Reference13 articles.
1. Barendregt, H.: Introduction to generalized type systems. J. Funct. Program. 1(2), 125–154 (1991)
2. Brady, E.: Idris 2: quantitative type theory in practice. arXiv preprint arXiv:2104.00480 (2021)
3. Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming, pp. 268–279 (2000)
4. Girard, J.Y., Taylor, P., Lafont, Y.: Proofs and Types, vol. 7. Cambridge University Press, Cambridge (1989)
5. Ismailova, L., Kosikov, S., Kucherov, I., Zhuravleva, O.: Tools of algebraic type for manipulating methodologically oriented cognitive information. Procedia Comput. Sci. 169, 23–30 (2020)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献