Inproceedings,

The Universal Algebra of Computational Effects: Lawvere Theories and Monads.

.
MSFP@MPC, BCS, (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews