The following pages link to Polyp (Q21124):
Displaying 22 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Type-based termination of generic programs (Q923883) (← links)
- Generic programming in 3D (Q923888) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings (Q1572700) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Encoding types in ML-like languages (Q1826630) (← links)
- The transient combinator, higher-order strategies, and the distributed data problem (Q1887674) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- (Q2848699) (← links)
- (Q2849586) (← links)
- GMeta: A Generic Formal Metatheory Framework for First-Order Representations (Q2892744) (← links)
- Scrap your boilerplate with XPath-like combinators (Q3189792) (← links)
- A UNIVERSE OF STRICTLY POSITIVE FAMILIES (Q3620616) (← links)
- Pattern Calculus (Q3629217) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Mathematics of Program Construction (Q5313092) (← links)
