A semantic model for graphical user interfaces

DOI10.1145/2034773.2034782MaRDI QIDQ5176962zbMATH OpenOpenAlexFDO

Authors 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

denotational semanticsfunctional reactive programmingguarded recursionlinear logicultrametric spaces

Mathematics Subject Classification ID

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

Recommendations

• Implementation of Functional Languages
• Erratic Fudgets: A semantic theory for an embedded coordination language
• Topological models for higher order control flow
• Abstract categorical semantics for resourceful functional reactive programming
• Interactive programming in Agda -- objects and graphical user interfaces

Cited in

(8)

• Lewis meets Brouwer: constructive strict implication
• The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
• Abstract categorical semantics for resourceful functional reactive programming
• scientific article; zbMATH DE number 1897879 (Why is no real title available?)
• Dual-context calculi for modal logic
• A theory of core Fudgets
• Constructive modalities with provability smack
• Implementation of Functional Languages

Describes a project that uses

Uses Software

• LUSTRE
• OCaml

This page was built for publication: A semantic model for graphical user interfaces

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