IV Applications & Libraries

Bibliography

  • [1] S. Antoy, R. Echahed, and M. Hanus (2000) A needed narrowing strategy. Journal of the ACM 47 (4), pp. 776–822. Cited by: Chapter 2.
  • [2] S. Antoy and M. Hanus (2000) Compiling multi-paradigm declarative programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS’2000), pp. 171–185. Cited by: Chapter 2.
  • [3] S. Antoy and M. Hanus (2002-09) Functional logic design patterns. In 6th Int’l Symp, on Functional and Logic Programming (FLOPS’02), Aizu, Japan, pp. 67–87. Cited by: §6.1.
  • [4] S. Antoy and M. Hanus (2009) Set functions for functional logic programming. In Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP’09), pp. 73–82. External Links: Document Cited by: §4.2.7.
  • [5] S. Antoy and M. Hanus (2011-07) New functional logic design patterns. In 20th International Workshop on Functional and (constraint) Logic Programming (WFLP 2011), Odense, Denmark, pp. 19–34. Cited by: §6.1.
  • [6] S. Antoy and M. Hanus (2017) Default rules for Curry. Theory and Practice of Logic Programming 17 (2), pp. 121–147. External Links: Document Cited by: §3.5.6.
  • [7] S. Antoy (1992) Definitional trees. In Proc. of the 4th Intl. Conf. on Algebraic and Logic Programming, pp. 143–157. Cited by: §4.2.2.
  • [8] S. Antoy (1997) Optimal non-deterministic functional logic computations. In 6th Int’l Conf. on Algebraic and Logic Programming (ALP’97), Vol. 1298, pp. 16–30. Cited by: §3.5.4.
  • [9] J. Christiansen, S. Dylus, and F. Teegen (2018) Probabilistic functional logic programming. In Proc. of the 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), pp. 3–19. External Links: Document Cited by: §5.1.
  • [10] G. Shute (2020) The blocks world. Note: [Online; accessed 8-November-2020] External Links: Link Cited by: §6.1.3.
  • [11] E. Gamma, R. Helm, R. Johnson, and J. Vlissides (1994) Design patterns: elements of reusable object-oriented software. Addison Wesley. Cited by: §6.1.
  • [12] M. Hanus (ed.) (2016) Curry: an integrated functional logic language (vers. 0.9.0). Note: Available at http://www.curry-lang.org Cited by: Chapter 1.
  • [13] M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. H öppner, J. Koj, P. Niederau, B. Peeöller, R. Sadre, F. Steiner, and F. Teegen (2023) PAKCS: the Portland Aachen Kiel Curry System. Note: Available at https://www.informatik.uni-kiel.de/~pakcs/ Cited by: Chapter 2.
  • [14] M. Hanus (1994) The integration of functions into logic programming: from theory to practice. Journal of Logic Programming 19&20, pp. 583–628. Cited by: Chapter 1.
  • [15] M. Hanus (1997) Teaching functional and logic programming with a single computation model. In Proc. Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP’97), pp. 335–350. Cited by: footnote 1.
  • [16] M. Hanus (1999) Distributed programming in a multi-paradigm declarative language. In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP’99), pp. 376–395. Cited by: 5th item.
  • [17] M. Hanus (2000) A functional logic programming approach to graphical user interfaces. In International Workshop on Practical Aspects of Declarative Languages (PADL’00), pp. 47–62. Cited by: 3rd item.
  • [18] M. Hanus (2001) High-level server side web scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL’01), pp. 76–92. Cited by: §7.1.
  • [19] M. Hanus (2004) Dynamic predicates in functional logic programs. Journal of Functional and Logic Programming 2004 (5). Cited by: 1st item.
  • [20] M. Hanus (2007) Multi-paradigm declarative languages. In Proceedings of the International Conference on Logic Programming (ICLP 2007), pp. 45–75. Cited by: Chapter 1.
  • [21] M. Hanus (2021) Lightweight declarative server-side web programming. In Proc. of the 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021), pp. 107–123. External Links: Document Cited by: §7.1.
  • [22] S. Peyton Jones (Ed.) (2003) Haskell 98 language and libraries—the revised report. Cambridge University Press. Cited by: Chapter 2.
  • [23] P. Wadler (1997) How to declare an imperative. ACM Computing Surveys 29 (3), pp. 240–263. Cited by: §3.15.
  • [24] Wikipedia contributors (2020) Blocks world — Wikipedia, the free encyclopedia. Note: [Online; accessed 8-November-2020] External Links: Link Cited by: §6.1.3.