[fmap]

I'm sure that someone has already mentioned this, but "A concurrent lambda-calculus with Futures" is a paper about AliceML. The problem is that the full syntax and semantics of StandardML contain a lot of features which are not very relevant to the discussion of the semantics of futures.

Instead, the authors describe the semantics as an extension of lambda calculus. This is both more compact and more useful to other researchers (who might not be working on an ML dialect).

That said I would be grateful to you or anyone with a backup who could restore the article. Looking at the google cache for this page, it was more than a stub and actually did link to a page with references...

Alice is still one of the first semester languages for CS students at Saarland university. I think it would be advantageous if you could find information about related languages and additional features on Wikipedia.