A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Some Programming Languages Suggested by Game Models (Extended Abstract)
2009
Electronical Notes in Theoretical Computer Science
We consider a simple and well-known category of alternating games (also known as sequential data structures) and several categories derived from it. In each case, we present an extension of Plotkin's language FPC (or a suitable linearization thereof) which defines all computable strategies of appropriate types. The quest for such languages results in a novel selection of language primitives for state encapsulation, coroutining and backtracking.
doi:10.1016/j.entcs.2009.07.087
fatcat:ayy7zyab6ndqrbmnkj6wkl4nlu