Compilation of functional languages by program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science - Applied semantics: Selected topics
State-transition machines, revisited
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Science of Computer Programming
Hi-index | 0.00 |