The following pages link to ML (Q13958):
Displaying 17 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Region-based memory management (Q676777) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- Type inference for polymorphic references (Q918190) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Organizing numerical theories using axiomatic type classes (Q1774558) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- Imperative self-adjusting computation (Q3189850) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
- Call-by-value Solvability (Q4953339) (← links)
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm (Q5371950) (← links)
