Lipton, James; Nieva, Susana Kripke semantics for higher-order type theory applied to constraint logic programming languages. (English) Zbl 1387.68059 Theor. Comput. Sci. 712, 1-37 (2018). MSC: 68N17 03B15 PDFBibTeX XMLCite \textit{J. Lipton} and \textit{S. Nieva}, Theor. Comput. Sci. 712, 1--37 (2018; Zbl 1387.68059) Full Text: DOI
Ochoa, Claudio; Puebla, Germán A study on the practicality of poly-controlled partial evaluation. (English) Zbl 1279.68043 López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 137-151 (2007). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{C. Ochoa} and \textit{G. Puebla}, Electron. Notes Theor. Comput. Sci. 177, 137--151 (2007; Zbl 1279.68043) Full Text: DOI