ACM SIGACT News
The Boyer benchmark meets linear logic
ACM SIGPLAN Lisp Pointers
Correctness of monadic state: an imperative call-by-need calculus
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |