A new approach to generic functional programming
From MaRDI portal
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Semantics in the theory of computing (68Q55)
Recommendations
Cited in
(32)- Open and closed scopes for constrained genericity
- A functional approach to generic programming using adaptive traversals
- scientific article; zbMATH DE number 1722656 (Why is no real title available?)
- The sketch of a polymorphic symphony
- The polymorphic imperative: a generic approach to in-place update
- Scrap your boilerplate with class: extensible generic functions
- Generic programming with fixed points for mutually recursive datatypes
- Hierarchy in generic programming libraries
- Scala for generic programmers
- A lightweight approach to datatype-generic rewriting
- A pattern for almost compositional functions
- An Introduction to iTasks: Defining Interactive Work Flows for the Web
- scientific article; zbMATH DE number 2086503 (Why is no real title available?)
- scientific article; zbMATH DE number 2100543 (Why is no real title available?)
- Generic functional programming with types and relations
- Derivable type classes
- Generic unification via two-level types and parameterized modules
- Generics for the masses
- Dependent Types at Work
- Dependency-style generic Haskell
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- Dynamic Construction of Generic Functions
- Implementation of Functional Languages
- Generics for the masses
- A pattern for almost compositional functions
- Two-level types and parameterized modules
- A formal comparison of approaches to datatype-generic programming
- Deriving distributive laws for graded linear types
- A principled approach to programming with nested types in Haskell
- Type-based termination of generic programs
- Generic programming in 3D
This page was built for publication: A new approach to generic functional programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178848)
