Unifying structured recursion schemes

DOI10.1017/S0956796815000258zbMath1420.68039MaRDI QIDQ5371980

Ralf Hinze, Nicolas Wu

Publication date: 23 October 2017

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

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

18C20: Eilenberg-Moore and Kleisli constructions for monads