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 条
  • [1] Programming and Reasoning with Guarded Recursion for Coinductive Types
    Clouston, Ranald
    Bizjak, Ales
    Grathwohl, Hans Bugge
    Birkedal, Lars
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 407 - 421
  • [2] THE GUARDED LAMBDA-CALCULUS PROGRAMMING AND REASONING WITH GUARDED RECURSION FOR COINDUCTIVE TYPES
    Clouston, Ranald
    Bizjak, Ales
    Grathwohl, Hans Bugge
    Birkedal, Lars
    LOGICAL METHODS IN COMPUTER SCIENCE, 2016, 12 (03)
  • [3] ON GUARDED RECURSION
    BADOUEL, E
    DARONDEAU, P
    THEORETICAL COMPUTER SCIENCE, 1991, 82 (02) : 403 - 408
  • [4] DIAMONDS ARE FOREVER
    Raskin, Laura
    ARCHITECTURAL RECORD, 2014, 202 (11) : 120 - 125
  • [5] Diamonds are forever!
    A H Ross
    M S Wertheim
    A D Dick
    M A Majid
    Eye, 2009, 23 : 1228 - 1228
  • [6] Diamonds are forever!
    Ross, A. H.
    Wertheim, M. S.
    Dick, A. D.
    Majid, M. A.
    EYE, 2009, 23 (05) : 1228 - 1228
  • [7] 'DIAMONDS ARE FOREVER'
    BEARDSLEY, S
    DEKALB LITERARY ARTS JOURNAL, 1981, 14 (1-4): : 103 - 106
  • [8] Diamonds are Forever!
    Upendra Kinjawadekar
    Indian Pediatrics, 2023, 60 : 9 - 10
  • [9] Are diamonds forever?
    Zhuk, Yuri
    Materials World, 2014, 22 (07) : 34 - 37
  • [10] Diamonds are forever?
    Wilks, PA
    SPECTROSCOPY, 1997, 12 (02) : 12 - 12
12345