Generic Programming
From MaRDI portal
Publication:5187879
DOI10.1007/b12027zbMath1274.18001OpenAlexW954091228MaRDI QIDQ5187879
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) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (2)
A specification structure for deadlock-freedom of synchronous processes ⋮ Substitution in non-wellfounded syntax with variable binding
This page was built for publication: Generic Programming