Game Semantics for Type Soundness

DOI10.1109/LICS.2015.20zbMATH Open1401.68172OpenAlexW1561721410MaRDI QIDQ4635796FDOQ4635796

Tim Disney, Cormac Flanagan

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2015.20

zbMATH Keywords

game theoryprogramming language semanticsfunctional languages

Mathematics Subject Classification ID

Applications of game theory (91A80) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (4)

• A short note on type-inhabitation: formula-trees vs. game semantics
• Games in the semantics of programming languages -- an elementary introduction
• Two-Level Game Semantics, Intersection Types, and Recursion Schemes
• Dependent Types for Extensive Games

This page was built for publication: Game Semantics for Type Soundness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635796)