Pages that link to "Item:Q756435"
From MaRDI portal
The following pages link to Type inference with recursive types: Syntax and semantics (Q756435):
Displaying 10 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Confluence of the lambda calculus with left-linear algebraic rewriting (Q1197987) (← links)
- Combining type disciplines (Q1319505) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Type inference for variant object types (Q1854549) (← links)
- Logic of subtyping (Q2500487) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- CPO-models for second order lambda calculus with recursive types and subtyping (Q3142273) (← links)
- Polymorphic higher-order context-free session types (Q6499549) (← links)
