Polymorphic game semantics for dynamic binding

被引：0
|
作者：
Laird, James [1 ]
机构：
[1] Department of Computer Science, University of Bath, United Kingdom
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2016年 / 62卷
关键词：
Number:; EP/K037633/1; Acronym:; EPSRC; Sponsor: Engineering and Physical Sciences Research Council; -;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Semantics
引用
收藏
相关论文
共 50 条
  • [1] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 41 - 49
  • [2] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    JOURNAL OF THE ACM, 2013, 60 (04)
  • [3] Dynamic game semantics
    Janasik, T
    Sandu, G
    MEANING: THE DYNAMIC TURN, 2003, 12 : 215 - 240
  • [4] Dynamic game semantics
    Yamada, Norihiro
    Abramsky, Samson
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (08) : 892 - 951
  • [5] A natural semantics for Eiffel dynamic binding
    Attali, I
    Caromel, D
    Ehmety, SO
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (06): : 711 - 729
  • [6] Natural semantics for Eiffel dynamic binding
    INRIA Sophia Antipolis, Sophia Antipolis, France
    ACM Trans Program Lang Syst, 6 (711-729):
  • [7] Dynamic binding is the name of the game
    Gomez-Martin, Marco A.
    Gomez-Martin, Pedro P.
    Gonzalez-Calero, Pedro A.
    ENTERTAINMENT COMPUTING - ICEC 2006, 2006, 4161 : 229 - +
  • [8] Dynamic imperative languages for runtime extensible semantics and polymorphic meta-programming
    Savidis, Anthony
    RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2006, 3943 : 113 - 128
  • [9] Simple semantics for polymorphic recursion
    Harrison, WL
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 37 - 51
  • [10] Trace semantics for polymorphic references
    Jaber, Guilhem
    Tzevelekos, Nikos
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 585 - 594
12345