Author:
Mehner Stefan,Seidel Daniel,Straßburger Lutz,Voigtländer Janis
Reference17 articles.
1. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational semantics for declarative multi-paradigm languages. J. Symb. Comput., 40(1):795--829, 2005.
2. B. Braßel and F. Huch. On a tighter integration of functional and logic programming. In APLAS, Proceedings, volume 4807 of LNCS, pages 122--138. Springer, 2007.
3. B. Braßel, S. Fischer, M. Hanus, and F. Reck. Transforming functional logic programs into monadic functional programs. In WFLP 2010, Revised Selected Papers, volume 6559 of LNCS, pages 30--47. Springer, 2011.
4. J. Christiansen, D. Seidel, and J. Voigtländer. Free theorems for functional logic programs. In PLPV, Proceedings, pages 39--48. ACM, 2010.
5. J. Christiansen, D. Seidel, and J. Voigtländer. An adequate, denotational, functional-style semantics for Typed FlatCurry. In WFLP 2010, Revised Selected Papers, volume 6559 of LNCS, pages 119--136. Springer, 2011.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conjuring Fusion Laws via Relational Calculus;Journal of Information Processing;2023
2. Free Theorems Simply, via Dinaturality;Declarative Programming and Knowledge Management;2020
3. Adding Data to Curry;Declarative Programming and Knowledge Management;2020