Higher-order functional languages and intensional logic

DOI10.1017/S0956796899003445zbMath0945.68030OpenAlexW3140389550MaRDI QIDQ4943309

No author found.

Publication date: 3 October 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796899003445

zbMATH Keywords

multidimensional intensional programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (1)

Multidimensional infinite data in the language Lucid

Uses Software

• CACTUS

This page was built for publication: Higher-order functional languages and intensional logic