Game Semantics for Type Soundness

DOI10.1109/LICS.2015.20zbMath1401.68172OpenAlexW1561721410MaRDI QIDQ4635796

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 theoryfunctional languagesprogramming language semantics

Mathematics Subject Classification ID

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

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