RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
A pattern logic for prompt lazy assertions in Haskell
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
Hi-index | 0.00 |