Author:
Barenbaum Pablo,Lochbaum Federico,Milicich Mariana
Publisher
Springer International Publishing
Reference31 articles.
1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for functional logic languages. Electronic Notes Theor. Comput. Sci. 76, 1–19 (2002)
2. Lecture Notes in Computer Science;A Arbiser,2006
3. Ayala-Rincón, M., Bonelli, E., Edi, J., Viso, A.: Typed path polymorphism. Theoretical Comput. Sci. 781, 111–130 (2019)
4. Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics, vol. 103. Elsevier (1984)
5. Byrd, W.E.: Relational programming in miniKanren: techniques, applications, and implementations. [Bloomington, Ind.]: Indiana University (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献