Generic Programming
From MaRDI portal
Publication:5187878
DOI10.1007/b12027zbMath1274.68210OpenAlexW954091228MaRDI QIDQ5187878
Paul F. Hoogendijk, Roland C. Backhouse
Publication date: 9 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12027
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Transport of finiteness structures and applications ⋮ Zippy Tabulations of Recursive Functions ⋮ Iteration and coiteration schemes for higher-order and nested datatypes
This page was built for publication: Generic Programming
