The Turing programming language
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Problem-Solving Principles: Programming with Pascal
Problem-Solving Principles: Programming with Pascal
Principles of Programming Languages
Principles of Programming Languages
Functional Programming
PASCAL user manual and report
Data Structures and Algorithms
Data Structures and Algorithms
Theory of Computation
Cartesian Closure - Higher Types in Categories
Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming
Computation: finite and infinite machines
Computation: finite and infinite machines
ACM SIGPLAN Notices
Hi-index | 0.00 |