S. Antoy (1997):
Optimal Non-Deterministic Functional Logic Computations.
In: 6th Int'l Conf. on Algebraic and Logic Programming (ALP'97) 1298.
Springer LNCS,
Southampton, UK,
pp. 16–30,
doi:10.1007/BFb0027000.
S. Antoy (2001):
Constructor-based Conditional Narrowing.
In: Proc. of the 3rd International Conference on Principles and Practice of Declarative Programming (PPDP'01).
ACM,
Florence, Italy,
pp. 199–206,
doi:10.1145/773184.773205.
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,
doi:10.1007/11680093_2.
S. Antoy & M. Hanus (2006):
Overlapping Rules and Logic Variables in Functional Logic Programs.
In: 22nd International Conference on Logic Programming.
Springer LNCS 4079,
Seattle, WA,
pp. 87–101,
doi:10.1007/11799573_9.
S. Antoy & M. Hanus (2010):
Functional Logic Programming.
Communications of the ACM 53(4),
pp. 74–85,
doi:10.1145/1721654.1721675.
S. Antoy & M. Hanus (2011):
New Functional Logic Design Patterns.
In: Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011).
Springer LNCS 6816,
pp. 19–34,
doi:10.1007/978-3-642-22531-4_2.
S. Antoy & M. Hanus (2012):
Contracts and Specifications for Functional Logic Programming.
In: Proc. of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012).
Springer LNCS 7149,
pp. 33–47,
doi:10.1007/978-3-642-27694-1_4.
Ana Bove, Peter Dybjer & Ulf Norell (2009):
A Brief Overview of Agda — A Functional Language with Dependent Types.
In: Proceedings of the 22nd Int. Conference on Theorem Proving in Higher Order Logics,
TPHOLs '09.
Springer-Verlag,
Berlin, Heidelberg,
pp. 73–78,
doi:10.1007/978-3-642-03359-9_6.
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.
Edmund M. Clarke & Jeannette M. Wing (1996):
Formal Methods: State of the Art and Future Directions.
ACM Comput. Surv. 28(4),
pp. 626–643,
doi:10.1145/242223.242257.
J.M. Cleva, J. Leach & F.J. López-Fraguas (2004):
A logic programming approach to the verification of functional-logic programs.
In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.
ACM Press,
pp. 9–19,
doi:10.1145/1013963.1013969.
J.M. Cleva & F.J. López-Fraguas (2007):
Semantic Determinism and Functional Logic Program Properties.
Electr. Notes Theor. Comput. Sci. 174(1),
pp. 3–15,
doi:10.1016/j.entcs.2006.10.018.
J.M. Cleva & I. Pita (2006):
Verification of CRWL Programs with Rewriting Logic.
Journal of Universal Computer Science 12(11),
pp. 1594–1617,
doi:10.3217/jucs-012-11-1594.
H.B. Curry, J.R. Hindley & J.P. Seldin (1980):
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.
Academic Press.
Available at https://books.google.com/books?id=r0SRQAAACAAJ.
J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas & M. Rodríguez-Artalejo (1999):
An approach to declarative programming based on a rewriting logic.
Journal of Logic Programming 40,
pp. 47–87,
doi:10.1016/S0743-1066(98)10029-8.
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 (ed.) (2016):
Curry: An Integrated Functional Logic Language (Vers. 0.9.0).
Available at http://www.curry-language.org.
H. Hussmann (1992):
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting.
Journal of Logic Programming 12,
pp. 237–255,
doi:10.1016/0743-1066(92)90026-Y.
John McCarthy (1963):
A Basis for a Mathematical Theory of Computation.
In: Computer Programming and Formal Systems.
North-Holland,
pp. 33–70,
doi:10.1016/S0049-237X(08)72018-4.
Bertrand Meyer (1992):
Applying "Design by Contract".
Computer 25(10),
pp. 40–51,
doi:10.1109/2.161279.
Flemming Nielson, Hanne R. Nielson & Chris Hankin (1999):
Principles of Program Analysis.
Springer-Verlag New York, Inc.,
Secaucus, NJ, USA,
doi:10.1007/978-3-662-03811-6.
Ulf Norell (2009):
Dependently Typed Programming in Agda.
In: Proceedings of the 4th International Workshop on Types in Language Design and Implementation,
TLDI '09.
ACM,
New York, NY, USA,
pp. 1–2,
doi:10.1145/1481861.1481862.
S. Peyton Jones (2003):
Haskell 98 Language and Libraries—The Revised Report.
Cambridge University Press.
U. S. Reddy (1985):
Narrowing as the Operational Semantics of Functional Languages.
In: Proc. IEEE Internat. Symposium on Logic Programming,
Boston,
pp. 138–151.
J. R. Slagle (1974):
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.
J. ACM 21(4),
pp. 622–642,
doi:10.1145/321850.321859.