Statically checkable pattern abstractions
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Hi-index | 0.00 |