Pages that link to "Item:Q1961917"
From MaRDI portal
The following pages link to Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L (Q1961917):
Displaying 4 items.
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- Code-carrying theories (Q2643124) (← links)
- A certified implementation of ML with structural polymorphism and recursive types (Q5740642) (← links)
- General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5892493) (← links)
