The following pages link to Scrap your boilerplate with class (Q2936783):
Displaying 9 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)
- Algebraic Specialization of Generic Functions for Recursive Types (Q5166621) (← links)
