The F# Asynchronous Programming Model.

Syme, D., Petricek, T., & Lomov, D. (2011). The F# Asynchronous Programming Model. Practical Aspects of Declarative Languages (PADL 2011).

Type

Book chapter

Intellectual base

Review or monograph

Year

2011

Pages cited

175-189

DOI

10.1007/978-3-642-18378-2_15

ISBN

9783642183775

DOI registrant

Springer Nature

Link

https://doi.org/10.1007/978-3-642-18378-2_15

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Future Or Promise
  • The same reification is what makes async/await work: the future is the handle on which await operates.

    This sourceDescribes the async/await model in which an awaitable future is the handle on which await operates, the basis later adopted by C#, JavaScript, and others.

    Supported in partVerified against the publisher's abstract

    Supplies the F# asynchronous-task model and notes its adaptation for C#; it does not state that a reified future is the handle await operates on.

    “The key feature combines a core language with a non-blocking modality to author lightweight asynchronous tasks”

    Read by an automated reader; not a human review. How support was checked

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:8b4b2c4f14b6 · see in the full table