ACM Transactions on Programming Languages and Systems (TOPLAS)
Three approaches to type structure
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
An object-oriented approach to algebra system design
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Abstract types have existential types
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Primer: 11 Keys to New Scratchpad
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The design of a language for algebraic computation systems
The design of a language for algebraic computation systems
Algorithms for type inference with coercions
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |