The links to both papers are invalid and they do not seem to be freely available (anymore).
They are, however, available as pdf-version on academia.edu after registration so this may be better than nothing:
A formal specification for casanova, a language for computer games
Monadic scripting in F# for Computer Games