The following pages link to Programming Languages and Systems (Q5308692):
Displaying 5 items.
- Theory of partial-order programming (Q1806132) (← links)
- A residualizing semantics for the partial evaluation of functional logic programs. (Q1853170) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- An operational semantics for declarative multi-paradigm languages (Q2843603) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)