Pages that link to "Item:Q1961917"

The following pages link to Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L (Q1961917):

Displayed 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)