Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards the uniform implementation of declarative languages
Computer Languages
Lazy narrowing with simplification
Computer Languages
Hi-index | 0.00 |