The following pages link to Hiord (Q19353):
Displaying 3 items.
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (Q3434630) (← links)