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
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio Constraint logic programming with a relational machine. (English) Zbl 1355.68035 Formal Asp. Comput. 29, No. 1, 97-124 (2017). MSC: 68N17 68N30 PDFBibTeX XMLCite \textit{E. J. Gallego Arias} et al., Formal Asp. Comput. 29, No. 1, 97--124 (2017; Zbl 1355.68035) Full Text: DOI
Gallego Arias, Emilio Jesús; Lipton, James; Mariño, Julio Declarative compilation for constraint logic programming. (English) Zbl 1353.68036 Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17821-9/pbk; 978-3-319-17822-6/ebook). Lecture Notes in Computer Science 8981, 299-316 (2015). MSC: 68N17 68N30 PDFBibTeX XMLCite \textit{E. J. Gallego Arias} et al., Lect. Notes Comput. Sci. 8981, 299--316 (2015; Zbl 1353.68036) Full Text: DOI Link