KiCS2: A New Compiler from Curry to Haskell-Reference-Cited by-同舟云学术

KiCS2: A New Compiler from Curry to Haskell

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

Author:

Braßel Bernd,Hanus Michael,Peemöller Björn,Reck Fabian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22531-4_1

Reference37 articles.

1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation 40(1), 795–829 (2005)

2. Alqaddoumi, A., Antoy, S., Fischer, S., Reck, F.: The pull-tab transformation. In: Proc. of the Third International Workshop on Graph Computation Models, pp. 127–132. Enschede, The Netherlands (2010), http://gcm-events.org/gcm2010/pages/gcm2010-preproceedings.pdf

3. 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)

4. Antoy, S.: On the correctness of the pull-tab transformation. In: To Appear in Proceedings of the 27th International Conference on Logic Programming, ICLP 2011 (2011)

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

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

1. Making a Curry Interpreter using Effects and Handlers;Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28

2. Improving Logic Programs by Adding Functions;Lecture Notes in Computer Science;2024

3. Embedding Functional Logic Programming in Haskell via a Compiler Plugin;Practical Aspects of Declarative Languages;2023

4. RICE: An Optimizing Curry Compiler;Practical Aspects of Declarative Languages;2023

5. A Monadic Implementation of Functional Logic Programs;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20