Programming Languages and Systems

DOI10.1007/B96702zbMath1126.68332OpenAlexW2964738244MaRDI QIDQ5308692

Vicent Estruch, Salvador España

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96702

zbMATH Keywords

formal semanticsmemoizationProgramming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Functional Logic Programming: From Theory to Curry

This page was built for publication: Programming Languages and Systems