We prove that the observational equivalence problem for a finitary fragment of ML is recursively equivalent to the reachability problem for extended branching vector addition systems with states (EBVASS). Our proof uses the fully abstract game semantics of the language. We introduce a new class of automata, VPCMA, as a representation of the game semantics. VPCMA are a version of class memory au...

ML supports references to objects through mutable ref cells: A program can create a ref cell from an object, and subsequently replace the object accessible through the cell by another. Unfortunately, ref cells, when compared to mechanisms for handling mutable data in other programming languages , impose awkward restrictions on programming style. Moreover, introducing ref cells into a program af...

This paper presents Plastic ML, a language based on XML, which can be used to describe user interfaces for Internet. With Plastic ML toolkit, programmers create graphically some XML documents, on a high level interface. Thanks to XSL translations, automatically made, it provided targeted files, such as HTML, WML and VoiceXML.