P-TAC: a parallel intermediate language
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
A syntactic approach to program transformations
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
Complexity analysis by graph rewriting
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Hi-index | 0.00 |