LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
On the scope of static checking in definitional languages
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Hi-index | 0.00 |