Multidimensional infinite data in the language Lucid

DOI10.1017/S0960129513000388zbMath1361.68024MaRDI QIDQ5740669

John Plaice, Jarryd P. Beck, William W. Wadge

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

infinite data structuresLucid

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Related Items (1)

Lucid

Uses Software

• TransLucid

Cites Work

• From Lucid to TransLucid: Iteration, dataflow, intensional and Cartesian programming
• Lucid, a nonprocedural language with iteration
• Lucid—A Formal System for Writing and Proving Programs
• Higher-order functional languages and intensional logic
• Unnamed Item

This page was built for publication: Multidimensional infinite data in the language Lucid