Inductively defined functions in functional programming languages

DOI10.1016/0022-0000(87)90031-6zbMath0619.68007OpenAlexW2032809354MaRDI QIDQ1089782

Rod M. Burstall

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90031-6

zbMATH Keywords

terminationprocedurescase expressionsinitial algebra specificationsscope rules

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Inductively defined functions in functional programming languages