Composing monads using coproducts
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Explicit substitutions and higher-order syntax
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Distributing probability over non-determinism
Mathematical Structures in Computer Science
Explicit substitutions and higher-order syntax
Higher-Order and Symbolic Computation
Structured formal development in Isabelle
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Generic models for computational effects
Theoretical Computer Science - Logic, language, information and computation
Discrete Lawvere theories and computational effects
Theoretical Computer Science - Algebra and coalgebra in computer science
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Electronic Notes in Theoretical Computer Science (ENTCS)
Free-algebra models for the π -calculus
Theoretical Computer Science
From Comodels to Coalgebras: State and Arrays
Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing free algebras in Topological and Classical Domain Theory
Theoretical Computer Science
Free-algebra models for the π-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Logic for computational effects: work in progress
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Observationally-induced Algebras in Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |