The following pages link to Implicit parameters (Q5178847):
Displaying 7 items.
- Type-directed weaving of aspects for polymorphically typed functional languages (Q988192) (← links)
- Implementing a computer algebra system in Haskell (Q990498) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Scoped dynamic rewrite rules (Q2841252) (← links)
- Comonadic notions of computation (Q2873672) (← links)
- Derivable Type Classes (Q4921511) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)