Combining Control Effects and Their Models: Game Semantics for a hierarchy of static, dynamic and delimited control effects.

Research output: Contribution to journal › Article › peer-review

2 Citations (SciVal)

1 results
- Last Name(descending)

James Laird
- J.D.Lairdbath.acuk
- Department of Computer Science - Reader
- Mathematical Foundations of Computation
Person: Research & Teaching