scientific article

zbMath1278.68053MaRDI QIDQ2871855

Jaime Sánchez-Hernández, Juan Rodríguez-Hortalá

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108001850?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lazy evaluationlogic programmingfunctional programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

This page was built for publication: