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.
S. Antoy & M. Hanus (2010):
Functional Logic Programming.
Communications of the ACM 53(4),
pp. 74–85,
doi:10.1145/1721654.1721675.
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.
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.
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.
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.
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.
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.
S.K. Das (1992):
Deductive Databases and Logic Programming.
Addison-Wesley.
H. Gallaire & J. Minker (1978):
Logic and Databases.
Plenum Press,
New York.
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.
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.
M. Hanus (2004):
Dynamic Predicates in Functional Logic Programs.
Journal of Functional and Logic Programming 2004(5).
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.
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.
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 http://www.informatik.uni-kiel.de/~pakcs/.
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.
M. Hanus (ed.) (2016):
Curry: An Integrated Functional Logic Language (Vers. 0.9.0).
Available at http://www.curry-language.org.
S.H. Huseby (2003):
Innocent Code: A Security Wake-Up Call for Web Programmers.
Wiley.
J. Krone (2015):
Integration of SQL into Curry.
University of Kiel.
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.
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.
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.
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.
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.
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.
S. Peyton Jones (2003):
Haskell 98 Language and Libraries—The Revised Report.
Cambridge University Press.
L. Wong (2000):
Kleisli, a functional query system.
Journal of Functional Programming 10(1),
pp. 19–56,
doi:10.1017/S0956796899003585.
eptcs@eptcs.org