Pages that link to "Item:Q3638242"
From MaRDI portal
The following pages link to Type Inference by Coinductive Logic Programming (Q3638242):
Displaying 6 items.
- Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
- Preemptive type checking (Q1994367) (← links)
- 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)
