A semantic model for graphical user interfaces

DOI10.1145/2034773.2034782zbMath1323.68129OpenAlexW4231894538MaRDI QIDQ5176962

Neelakantan R. Krishnaswami, Nick Benton

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2034773.2034782

zbMATH Keywords

linear logicdenotational semanticsultrametric spacesfunctional reactive programmingguarded recursion

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Abstract categorical semantics for resourceful functional reactive programming, Lewis meets Brouwer: constructive strict implication, The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types, Unnamed Item, Constructive Modalities with Provability Smack

Uses Software

• OCaml
• LUSTRE