González-Moreno, J. C.; Hortalá-González, M. T.; Rodríguez-Artalejo, M. Semantics and types in functional logic programming. (English) Zbl 0988.68037 Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 1-20 (1999). Summary: The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using applicative rewriting systems as programs and lazy narrowing as the goal solving procedure. We present an extension of CRWL with a polymorphic type system, and we investigate the consequences of type discipline both at the semantic level and at the operational level. Semantically, models must be extended to incorporate a type universe. Operationally, lazy narrowing must maintain suitable type information in goals, in order to guarantee well-typed computed answers.For the entire collection see [Zbl 0929.00068]. Cited in 2 Documents MSC: 68N17 Logic programming 68N18 Functional programming and lambda calculus Software:HiLog PDFBibTeX XMLCite \textit{J. C. González-Moreno} et al., Lect. Notes Comput. Sci. 1722, 1--20 (1999; Zbl 0988.68037)