Author:
Antoy Sergio,Hanus Michael
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. Journal of the ACM 47(4), 776–822 (2000)
2. Antoy, S., Hanus, M.: Set functions for functional logic programming. In: Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2009), pp. 73–82. ACM Press (2009)
3. Antoy, S., Hanus, M.: Functional logic programming. Communications of the ACM 53(4), 74–85 (2010)
4. Antoy, S., Hanus, M.: A transformation tool for functional logic program development. In: Proc. of the 24th Workshop on (Constraint) Logic Programming (WLP 2010), pp. 23–33. German University of Cairo (2010)
5. Bauer, F.L., Broy, M., Gnatz, R., Hesse, W., Krieg-Brückner, B., Partsch, H., Pepper, P., Wössner, H.: Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices 13(12), 15–24 (1978)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Executable contracts for Elixir;Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang;2022-09-06
2. From Non-determinism to Goroutines: A Fair Implementation of Curry in Go;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
3. Memoized Pull-Tabbing for Functional Logic Programming;Functional and Constraint Logic Programming;2021
4. Combining Static and Dynamic Contract Checking for Curry;Fundamenta Informaticae;2020-03-31
5. ICurry;Declarative Programming and Knowledge Management;2020