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

Research output: Contribution to journalArticlepeer-review

2 Citations (SciVal)

Fingerprint

Dive into the research topics of 'Combining Control Effects and Their Models: Game Semantics for a hierarchy of static, dynamic and delimited control effects.'. Together they form a unique fingerprint.

Computer Science