Adjoint reactive GUI programming

DOI10.1007/978-3-030-71995-1_15OpenAlexW3138062835MaRDI QIDQ2233414

Dmitrij Szamozvancev, Neel Krishnaswami, Christian Uldal Graulund

Publication date: 18 October 2021

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

zbMATH Keywords

asynchronyFRPlinear typesGUIs

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Fitch-style modal lambda calculi
• A judgmental reconstruction of modal logic
• Guarded Dependent Type Theory with Coinductive Types
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
• Adjointness in Foundations
• Higher-order functional reactive programming without spacetime leaks
• Functional reactive animation
• Fair reactive programming

This page was built for publication: Adjoint reactive GUI programming