Diamonds are not forever: Liveness in reactive programming with guarded recursion

被引：0
|
作者：
Bahr, Patrick [1 ]
Graulund, Christian Uldal [1 ]
Møgelberg, Rasmus Ejlers [1 ]
机构：
[1] IT University of Copenhagen, Denmark
来源：
Proceedings of the ACM on Programming Languages | 2021年 / 5卷 / POPL期
关键词：
37;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] SPECTROSCOPY Diamonds really are forever
    Peplow, Mark
    CHEMICAL & ENGINEERING NEWS, 2021, 99 (04) : 6 - 6
  • [42] Diamonds Are Not Forever! Diamond Dissolution
    Smit, Karen, V
    Shirey, Steven B.
    GEMS & GEMOLOGY, 2020, 56 (01): : 148 - 155
  • [43] Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
    Jeltsch, Wolfgang
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (153): : 127 - 142
  • [44] Enhancing Portfolio Diversification: Are Diamonds Forever?
    Beccacece, Francesca
    Cantu, Valeria
    JOURNAL OF INVESTING, 2015, 24 (04): : 92 - 101
  • [45] Some diamonds may not be forever.
    Bradley, JP
    Dai, ZR
    Joswiak, D
    Brownlee, DE
    Hill, HGM
    Genge, MM
    METEORITICS & PLANETARY SCIENCE, 2002, 37 (07) : A21 - A21
  • [46] All but diamonds Biological materials are not forever
    Weinkamer, Richard
    Dunlop, John W. C.
    Brechet, Yves
    Fratzl, Peter
    ACTA MATERIALIA, 2013, 61 (03) : 880 - 889
  • [47] Diamonds Are Forever - GAIA's Jubilee
    Renn, Ortwin
    GAIA-ECOLOGICAL PERSPECTIVES FOR SCIENCE AND SOCIETY, 2012, 21 (04): : 256 - 257
  • [48] Not forever: Botswana, conflict diamonds and the Bushmen
    Taylor, I
    Mokhawa, G
    AFRICAN AFFAIRS, 2003, 102 (407) : 261 - 283
  • [49] Diamonds are forever (British Film Institute)
    Nowell-Smith, Geoffrey
    SIGHT AND SOUND, 2008, 18 (10): : 42 - 45
  • [50] Diamonds may be forever - But is meniscal repair?
    不详
    ORTHOPEDICS, 2002, 25 (04) : 386 - 386
12345