Adjoint reactive GUI programming

DOI10.1007/978-3-030-71995-1_15MaRDI QIDQ2233414zbMATH OpenOpenAlexFDO

Authors Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami

Publication date 18 October 2021

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

asynchronyFRPGUIslinear types

Mathematics Subject Classification ID

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

Cites work

• A judgmental reconstruction of modal logic
• Adjointness in Foundations
• Fair reactive programming
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• Fitch-style modal lambda calculi
• Functional reactive animation
• Guarded dependent type theory with coinductive types
• Higher-order functional reactive programming without spacetime leaks
• scientific article; zbMATH DE number 3967898 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 1512620 (Why is no real title available?)
• Linear logic
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming

Cited in

(1)

• Programming graphical user interfaces with Scheme

This page was built for publication: Adjoint reactive GUI programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233414)