A Generalized Modality for Recursion

DOI10.1145/3209108.3209148zbMath1497.68093arXiv1805.11021OpenAlexW2798556801MaRDI QIDQ5145323

Adrien Guatto

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.11021

zbMATH Keywords

category theoryfunctional programmingtype systemssynchronous programmingstreamsguarded recursion

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (7)

Specification and verification of concurrent systems by causality and realizability ⋮ Modal FRP for all: Functional reactive programming without space leaks in Haskell ⋮ Deciding Equations in the Time Warp Algebra ⋮ Time warps, from algebra to algorithms ⋮ Temporal refinements for guarded recursive types ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: A Generalized Modality for Recursion