Pages that link to "Item:Q3006157"
From MaRDI portal
The following pages link to Idealized coinductive type systems for imperative object-oriented programs (Q3006157):
Displaying 4 items.
- Union and intersection types to support both dynamic and static typing (Q1944090) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? (Q3067532) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)
