Monads and algebras in the semantics of partial data types (Q1193894)

In this paper we have proposed a general program for interpreting partial data types by constructing categories of algebras for special monads. The general ideas outlined in this approach underlie much of the fundamental work in standard semantic examples such as domains, yet work equally well in other settings as well. Much work remains to be done as the rich structure of the monadic refinements has barely been explored or applied. Future work will also focus on the intrinsic ordering on the partial data types implicit in the constructions as well as the strong connections of this work to operational semantics.