Generalising Monads to Arrows. Science of Computer Programming, 37:67–111, May 2000. R. van der Meyden. Finite State Implementations of Knowledge-Based Programs (0)

by J Hughes
Venue:In Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science