scientific article
From MaRDI portal
Publication:2766793
zbMath0988.68091MaRDI QIDQ2766793
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items
Safe typing of functional logic programs with opaque patterns and local bindings ⋮ Evaluation strategies for functional logic programming ⋮ Functional Logic Programming: From Theory to Curry ⋮ A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs ⋮ Rewriting and Call-Time Choice: The HO Case ⋮ Evaluation Strategies for Functional Logic Programming
This page was built for publication: