Polyp

swMATH9131MaRDI QIDQ21124FDOQ21124

Author name not available (Why is that?)

Described by source

• Polytypic data conversion programs

Cited In (32)

• Dependent Types at Work
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Final Dialgebras: From Categories to Allegories
• GMeta: A Generic Formal Metatheory Framework for First-Order Representations
• Typed generic traversal with term rewriting strategies
• Dependency-style generic haskell
• The transient combinator, higher-order strategies, and the distributed data problem
• A pattern for almost compositional functions
• A UNIVERSE OF STRICTLY POSITIVE FAMILIES
• Indexed induction-recursion
• Constructing language processors with algebra combinators
• Datatype-generic termination proofs
• Pattern Calculus
• Derivable Type Classes
• A design for type-directed programming in Java
• Title not available (Why is that?)
• Title not available (Why is that?)
• Types for Proofs and Programs
• Mathematics of Program Construction
• Scrap your boilerplate with XPath-like combinators
• A principled approach to programming with nested types in Haskell
• A functional approach to generic programming using adaptive traversals
• Generic programming in 3D
• Type-based termination of generic programs
• Generic type-preserving traversal strategies
• Programmable rewriting strategies in Haskell (white paper)
• Iteration and coiteration schemes for higher-order and nested datatypes
• Generics for the masses
• Encoding types in ML-like languages
• Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings

This page was built for software: Polyp