Adjoint reactive GUI programming

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

Authors: Christian Uldal Graulund, Dmitrij Szamozvancev, Neel Krishnaswami 

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 software (68Nxx) Theory of computing (68Qxx)

Cites Work

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

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)