A new approach to generic functional programming

DOI10.1145/325694.325709zbMath1323.68122OpenAlexW2027048725MaRDI QIDQ5178848

Ralf Hinze

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325709

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

A principled approach to programming with nested types in Haskell ⋮ A functional approach to generic programming using adaptive traversals ⋮ Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ Derivable Type Classes ⋮ An Introduction to iTasks: Defining Interactive Work Flows for the Web ⋮ Dependent Types at Work

This page was built for publication: A new approach to generic functional programming