Pages that link to "Item:Q5451969"
From MaRDI portal
The following pages link to HM(X) type inference is CLP(X) solving (Q5451969):
Displayed 3 items.
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis (Q4559809) (← links)