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