A strict functional language with cyclic recursive data

DOI10.1007/BF01212526zbMath0868.68073OpenAlexW2042101676MaRDI QIDQ1355753

Susumu Nishimura

Publication date: 28 May 1997

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

cyclic recursive data structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Uses Software

• ML

Cites Work

• Unnamed Item
• Using circular programs to eliminate multiple traversals of data

This page was built for publication: A strict functional language with cyclic recursive data