×
尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿

图形用户界面的语义模型。 （英语） Zbl 1323.68129号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN Notices 46，No.9，45-57（2011）。

引用于5文件

MSC公司：

68甲18 函数编程和lambda演算
03B70号 计算机科学中的逻辑
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题55 计算理论中的语义学
68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）

关键词：

指称语义学;函数反应式编程;保护递归;线性逻辑;超度量空间

软件：

OCaml公司;卢斯特
PDF格式BibTeX公司 XML格式引用
\textit{N.R.Krishnaswami}和\textit{N.Benton}，摘自：第16届ACM SIGPLAN函数编程国际会议论文集，ICFP'11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。45-57（2011；Zbl 1323.68129）
全文： 内政部