Generic Programming
From MaRDI portal
Publication:5187876
DOI10.1007/b12027zbMath1274.68049OpenAlexW954091228MaRDI QIDQ5187876
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
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (7)
Shortcut fusion rules for the derivation of circular and higher-order programs ⋮ Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ A type system for reflective program generators ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Libraries for Generic Programming in Haskell ⋮ Indexed induction-recursion
Uses Software
This page was built for publication: Generic Programming
