Pages that link to "Item:Q3638242"
From MaRDI portal
The following pages link to Type Inference by Coinductive Logic Programming (Q3638242):
Displayed 4 items.
- Idealized coinductive type systems for imperative object-oriented programs (Q3006157) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← 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)