Breadth-first traversal via staging

DOI10.1007/978-3-031-16912-0_1MaRDI QIDQ6109203

Donnacha Oisín Kidney, Nicolas Wu, Jeremy Gibbons, Tom Schrijvers

Publication date: 30 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/20.500.12942/706782

zbMATH Keywords

fusionstagingtraversalapplicative functor

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using circular programs to eliminate multiple traversals of data
• Constructing Applicative Functors
• Breadth-first numbering
• The essence of the <scp>Iterator</scp> pattern
• Notions of computation as monoids
• Free Applicative Functors
• The under-appreciated unfold

This page was built for publication: Breadth-first traversal via staging