J. Cai
-
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
An NSF Proposal
Higher-Order and Symbolic Computation