1. S. Antoy & M. Hanus (2005): Declarative Programming with Function Patterns. In: Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05). Springer LNCS 3901, pp. 6–22.
  2. S. Antoy & M. Hanus (2010): Functional Logic Programming. Communications of the ACM 53(4), pp. 74–85, doi:10.1145/1721654.1721675.
  3. B. Braßel, M. Hanus & M. Müller (2008): High-Level Database Programming in Curry. In: Proc. of the Tenth International Symposium on Practical Aspects of Declarative Languages (PADL'08). Springer LNCS 4902, pp. 316–332, doi:10.1007/978-3-540-77442-6_21.
  4. B. Braßel, M. Hanus, B. Peemöller & F. Reck (2011): KiCS2: A New Compiler from Curry to Haskell. In: Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011). Springer LNCS 6816, pp. 1–18, doi:10.1007/978-3-642-22531-4_1.
  5. R. Caballero & F.J. López-Fraguas (1999): A Functional-Logic Perspective of Parsing. In: Proc. 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99). Springer LNCS 1722, pp. 85–99, doi:10.1007/10705424_6.
  6. P. P.-S. Chen (1976): The Entity-Relationship Model—Toward a Unified View of Data. ACM Transactions on Database Systems 1(1), pp. 9–36, doi:10.1145/320434.320440.
  7. E. Cooper, S. Lindley, P. Wadler & J. Yallop (2006): Links: Web Programming Without Tiers. In: 5th International Symposium on Formal Methods for Components and Objects (FMCO 2006). Springer LNCS 4709, pp. 266–296, doi:10.1007/978-3-540-74792-5_12.
  8. J. Correas, J.M. Gómez, M. Carro, D. Cabeza & M. Hermenegildo (2004): A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). In: Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer LNCS 3057, pp. 104–119, doi:10.1007/978-3-540-24836-1_8.
  9. S.K. Das (1992): Deductive Databases and Logic Programming. Addison-Wesley.
  10. H. Gallaire & J. Minker (1978): Logic and Databases. Plenum Press, New York.
  11. M. Hanus (1997): A Unified Computation Model for Functional and Logic Programming. In: Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80–93, doi:10.1145/263699.263710.
  12. M. Hanus (2000): A Functional Logic Programming Approach to Graphical User Interfaces. In: International Workshop on Practical Aspects of Declarative Languages (PADL'00). Springer LNCS 1753, pp. 47–62.
  13. M. Hanus (2004): Dynamic Predicates in Functional Logic Programs. Journal of Functional and Logic Programming 2004(5).
  14. M. Hanus (2006): Type-Oriented Construction of Web User Interfaces. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'06). ACM Press, pp. 27–38.
  15. M. Hanus (2013): Functional Logic Programming: From Theory to Curry. In: Programming Logics - Essays in Memory of Harald Ganzinger. Springer LNCS 7797, pp. 123–168, doi:10.1007/978-3-642-37651-1_6.
  16. M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre & F. Steiner (2016): PAKCS: The Portland Aachen Kiel Curry System. Available at
  17. M. Hanus & S. Koschnicke (2014): An ER-based Framework for Declarative Web Programming. Theory and Practice of Logic Programming 14(3), pp. 269–291, doi:10.1017/S1471068412000385.
  18. M. Hanus (ed.) (2016): Curry: An Integrated Functional Logic Language (Vers. 0.9.0). Available at
  19. S.H. Huseby (2003): Innocent Code: A Security Wake-Up Call for Web Programmers. Wiley.
  20. J. Krone (2015): Integration of SQL into Curry. University of Kiel.
  21. D. Leijen & E. Meijer (1999): Domain Specific Embedded Compilers. In: Proceedings of the 2nd Conference on Domain-Specific Languages (DSL'99). ACM SIGPLAN Notices 35(1), pp. 109–122, doi:10.1145/331960.331977.
  22. G. Mainland (2007): Why It's Nice to be Quoted: Quasiquoting for Haskell. In: Proceedings of the ACM SIGPLAN Workshop on Haskell (Haskell 2007). ACM Press, pp. 73–82, doi:10.1145/1291201.1291211.
  23. E. Martin-Martin (2011): Type classes in functional logic programming. In: Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2011). ACM Press, pp. 121–130, doi:10.1145/1929501.1929524.
  24. S. Mazanek & M. Hanus (2011): Constructing a Bidirectional Transformation between BPMN and BPEL with a Functional Logic Programming Language. Journal of Visual Languages and Computing 22(1), pp. 66–89, doi:10.1016/j.jvlc.2010.11.005.
  25. A. Ohori & K. Ueno (2011): Making standard ML a practical database programming language. In: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11), pp. 307–319, doi:10.1145/2034773.2034815.
  26. A. Ohori, K. Ueno, K. Hoshi, S. Nozaki, T. Sato, T. Makabe & Y. Ito (2014): SML# in industry: a practical ERP system development. In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP'14), pp. 167–173, doi:10.1145/2628136.2628164.
  27. S. Peyton Jones (2003): Haskell 98 Language and Libraries—The Revised Report. Cambridge University Press.
  28. L. Wong (2000): Kleisli, a functional query system. Journal of Functional Programming 10(1), pp. 19–56, doi:10.1017/S0956796899003585.

Comments and questions to:
For website issues: