Game semantics for a polymorphic programming language

MaRDI QIDQ5395726zbMATH OpenFDO

Authors

Publication date 17 February 2014

zbMATH Keywords

full abstractiongame semanticsgenericitypolymorphismreferencesSystem F

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Game semantics for call-by-value polymorphism
• scientific article; zbMATH DE number 1956502
• Game semantics for nominal exceptions
• A game semantics for generic polymorphism
• A Theory for Game Theories

Cited in

(16)

• A game semantics for generic polymorphism
• Games in the semantics of programming languages -- an elementary introduction
• A curry-style semantics of interaction: from untyped to second-order lazy -calculus
• Game semantics for bounded polymorphism
• Innocent game semantics via intersection type assignment systems
• A system-level game semantics
• Game semantics for call-by-value polymorphism
• A domain-specific language for experimental game theory
• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• scientific article; zbMATH DE number 1956502 (Why is no real title available?)
• Game semantics for type soundness
• Game Semantics for Interface Middleweight Java
• Polymorphic game semantics for dynamic binding
• Game semantics for interface middleweight Java
• Game semantics of Martin-Löf type theory
• A type assignment system for game semantics

This page was built for publication: Game semantics for a polymorphic programming language

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