Polyp

swMATH9131MaRDI QIDQ21124FDOQ21124

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=263763

Described by source

• Polytypic data conversion programs

Cited In (41)

• 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
• Typed generic traversal with term rewriting strategies
• 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
• Haskell
• Epigram
• ASF+SDF
• Scheme
• RepLib
• BNFConverter
• DrIFT
• XPTO
• A design for type-directed programming in Java
• Title not available (Why is that?)
• Title not available (Why is that?)
• PolyLib
• Types for Proofs and Programs
• Mathematics of Program Construction
• Dependency-style generic Haskell
• 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
• Derivable type classes
• Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings
• GMeta: a generic formal metatheory framework for first-order representations

This page was built for software: Polyp