Pages that link to "Item:Q1318281"
From MaRDI portal
The following pages link to A functional logic for higher level reasoning about computation (Q1318281):
Displaying 13 items.
- A logic for Miranda (Q909443) (← links)
- Comparing integrated and external logics of functional programs (Q913479) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- The completeness of functional logic (Q1318282) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- A first order logic of effects (Q1390955) (← links)
- (Q3024884) (← links)
- (Q3372485) (← links)
- (Q4016066) (← links)
- Painless programming combining reduction and search (Q5168885) (← links)
- Computer Science Logic (Q5292665) (← links)
- Programming Languages and Systems (Q5308692) (← links)
- A Virtual Machine for Functional Logic Computations (Q5423547) (← links)