01231463

a

01231463 Jeffrey, Alan Stuart, Austin A fully abstract semantics for a nondeterministic functional language with monadic types. Brookes, Steve (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 1, 12 p. (1995). 1995 Amsterdam: Elsevier EN functional programming language

http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#jeffrey

Summary: This paper presents a functional programming language, based on Moggi's monadic metalanguage. In the first part of this paper, we show how the language can be regarded as a monad on a category of signatures, and that the resulting category of algebras is equivalent to the category of computationally cartesian closed categories. In the second part, we extend the language to include a nondeterministic operational semantics, and show that the lower powerdomain semantics is fully abstract for may-testing.