The following pages link to Scrap your boilerplate with class (Q2936783):
Displaying 13 items.
- Generic programming in 3D (Q923888) (← links)
- Type-directed weaving of aspects for polymorphically typed functional languages (Q988192) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- Strongly typed rewriting for coupled software transformation (Q2864515) (← links)
- A Reflection on Types (Q3188294) (← links)
- Scrap your boilerplate with XPath-like combinators (Q3189792) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- A mostly-copying collector component for class templates (Q4791101) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)