Transforming Functional Logic Programs into Monadic Functional Programs-Reference-Cited by-同舟云学术

Transforming Functional Logic Programs into Monadic Functional Programs

Published:2011 Issue: Volume: Page:30-47
ISSN:0302-9743
Container-title:Functional and Constraint Logic Programming
language:
Short-container-title:

Author:

Braßel Bernd,Fischer Sebastian,Hanus Michael,Reck Fabian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20775-4_2

Reference24 articles.

1. Antoy, S.: Constructor-based conditional narrowing. In: Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 199–206. ACM Press, New York (2001)

2. Antoy, S.: Evaluation strategies for functional logic programming. Journal of Symbolic Computation 40(1), 875–903 (2005)

3. Antoy, S., Braßel, B.: Computing with subspaces. In: Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2007), pp. 121–130. ACM Press, New York (2007)

4. Lecture Notes in Computer Science;S. Antoy,2000

5. Lecture Notes in Computer Science;S. Antoy,2006

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synthesizing Set Functions;Functional and Constraint Logic Programming;2019

2. Parametricity and Proving Free Theorems for Functional-Logic Languages;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014

3. And... Action! – Monoid Actions and (Pre)orders;Declarative Programming and Knowledge Management;2014

4. An Algebraic Presentation of Predicate Logic;Lecture Notes in Computer Science;2013

5. Singular and plural functions for functional logic programming;Theory and Practice of Logic Programming;2012-05-17