scholarly journals Diamonds are not forever: liveness in reactive programming with guarded recursion

2021 ◽  
Vol 5 (POPL) ◽  
pp. 1-28
Author(s):  
Patrick Bahr ◽  
Christian Uldal Graulund ◽  
Rasmus Ejlers Møgelberg
Keyword(s):  
2014 ◽  
Vol 48 (12) ◽  
pp. 117-128 ◽  
Author(s):  
Atze van der Ploeg

Sign in / Sign up

Export Citation Format

Share Document