Pages that link to "Item:Q1314350"
From MaRDI portal
The following pages link to Type inference, abstract interpretation and strictness analysis (Q1314350):
Displaying 22 items.
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Strictness analysis and denotational abstract interpretation (Q1098274) (← links)
- Strictness analysis via abstract interpretation for recursively defined types (Q1193597) (← links)
- Combining type disciplines (Q1319505) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- Generalized filter models (Q1575259) (← links)
- Enhanced type inference for binding-time analysis (Q2061291) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Typestate verification: abstraction techniques and complexity results (Q2568446) (← links)
- Symbolic abstract data type inference (Q2828291) (← links)
- (Q3026333) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Type Checking by Domain Analysis in Ampersand (Q3460627) (← links)
- (Q3687690) (← links)
- (Q4222755) (← links)
- Generalizing Def and Pos to Type Analysis (Q4542943) (← links)
- Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs (Q4847376) (← links)
- (Q4885989) (← links)
- Refinement types for program analysis (Q5030192) (← links)
- Stratified type inference for generalized algebraic data types (Q5348926) (← links)
- Strictness, totality, and non-standard-type inference (Q5958293) (← links)
