Pages that link to "Item:Q5385585"
From MaRDI portal
The following pages link to Principal Type Inference for GHC-Style Multi-parameter Type Classes (Q5385585):
Displaying 5 items.
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Type Class Instances for Type-Level Lambdas in Haskell (Q2814386) (← links)
- Principal type inference for GADTs (Q2828286) (← links)
- As time goes by: Constraint Handling Rules (Q3400960) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)