Pages that link to "Item:Q4847376"
From MaRDI portal
The following pages link to Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs (Q4847376):
Displaying 7 items.
- High-level modelling for typed functional programming (Q832100) (← links)
- Type inference, abstract interpretation and strictness analysis (Q1314350) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- (Q4281465) (← links)
- Type and behaviour reconstruction for higher-order concurrent programs (Q4358460) (← links)
- (Q5004949) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)