Cited in
(41)- Transformation of structure-shy programs with application to XPath queries and strategic functions
- Dependent Types at Work
- scientific article; zbMATH DE number 2100542 (Why is no real title available?)
- scientific article; zbMATH DE number 2090721 (Why is no real title available?)
- 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
- Haskell
- Epigram
- ASF+SDF
- Scheme
- RepLib
- BNFConverter
- DrIFT
- XPTO
- PolyLib
- Pattern Calculus
- A design for type-directed programming in Java
- scientific article; zbMATH DE number 2086503 (Why is no real title available?)
- scientific article; zbMATH DE number 2111733 (Why is no real title available?)
- 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
- Generic programming in 3D
- Type-based termination of generic programs
- A functional approach to generic programming using adaptive traversals
- Generic type-preserving traversal strategies
- Programmable rewriting strategies in Haskell (white paper)
- Iteration and coiteration schemes for higher-order and nested datatypes
- Encoding types in ML-like languages
- Generics for the masses
- Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings
- Derivable type classes
- GMeta: a generic formal metatheory framework for first-order representations
This page was built for software: Polyp
