Category theory for computing science
Category theory for computing science
Compiling polymorphism using intensional type analysis
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel skeletons for structured composition
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |