Composing monads using coproducts
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Term rewriting with variable binding: an initial algebra approach
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Mathematical Structures in Computer Science
Explicit substitutions and higher-order syntax
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Nordic Journal of Computing
Monads of coalgebras: rational terms and term graphs
Mathematical Structures in Computer Science
An initial algebra approach to term rewriting systems with variable binders
Higher-Order and Symbolic Computation
Explicit substitutions and higher-order syntax
Higher-Order and Symbolic Computation
Discrete Lawvere theories and computational effects
Theoretical Computer Science - Algebra and coalgebra in computer science
Modularity and Implementation of Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.01 |