Pages that link to "Item:Q4850163"
From MaRDI portal
The following pages link to Type Reconstruction for Type Classes (Q4850163):
Displaying 8 items.
- Lyndon words formalized in Isabelle/HOL (Q832940) (← links)
- Open and closed scopes for constrained genericity (Q1606127) (← links)
- Kinded type inference for parametric overloading (Q1911131) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Type Inference using Constraint Handling Rules (Q2841285) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- Formal verification of algorithm \(\mathcal{W}\): the monomorphic case (Q6567723) (← links)
