Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
On the recursive specification of data types
Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
Computability concepts for programming language semantics
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Implementation and applications of Scott's logic for computable functions
Proceedings of ACM conference on Proving assertions about programs
Constructing Call-by-Value Continuation Semantics
Journal of the ACM (JACM)
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Combining algebraic effects with continuations
Theoretical Computer Science
Compiling lambda-expressions using continuations and factorizations
Computer Languages
Point-free Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
| Hi-index | 0.01 |