咨询与建议

限定检索结果

文献类型

  • 55 篇 会议
  • 12 篇 期刊文献
  • 3 篇 学位论文
  • 2 册 图书

馆藏范围

  • 72 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 67 篇 工学
    • 48 篇 软件工程
    • 40 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 3 篇 控制科学与工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 信息与通信工程
    • 1 篇 航空宇航科学与技...
  • 4 篇 艺术学
    • 3 篇 艺术学理论
    • 3 篇 音乐与舞蹈学
    • 1 篇 设计学(可授艺术学...
  • 2 篇 理学
    • 2 篇 数学
  • 2 篇 医学
    • 2 篇 临床医学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 72 篇 functional react...
  • 9 篇 design
  • 9 篇 reactive program...
  • 8 篇 languages
  • 8 篇 haskell
  • 8 篇 temporal logic
  • 5 篇 embedded systems
  • 5 篇 stream programmi...
  • 5 篇 arrows
  • 4 篇 type systems
  • 4 篇 dataflow
  • 4 篇 liveness
  • 4 篇 theory
  • 4 篇 functional progr...
  • 4 篇 modal types
  • 4 篇 concurrency
  • 3 篇 linear logic
  • 3 篇 synchronous data...
  • 3 篇 frp
  • 3 篇 guarded recursio...

机构

  • 4 篇 it univ copenhag...
  • 3 篇 tokyo inst techn...
  • 2 篇 github oxford en...
  • 2 篇 ost univ appl sc...
  • 2 篇 max planck inst ...
  • 2 篇 alcatel lucent b...
  • 2 篇 natl inst aerosp...
  • 2 篇 yale univ new ha...
  • 2 篇 microsoft resear...
  • 2 篇 univ nottingham ...
  • 2 篇 univ warwick cov...
  • 2 篇 univ nottingham ...
  • 1 篇 univ nottingham ...
  • 1 篇 univ bamberg bam...
  • 1 篇 univ texas san a...
  • 1 篇 ctr wiskunde & i...
  • 1 篇 microsoft corp r...
  • 1 篇 mirea russian te...
  • 1 篇 inesc tec porto
  • 1 篇 alcatel lucent b...

作者

  • 8 篇 perez ivan
  • 5 篇 watanabe takuo
  • 5 篇 nilsson henrik
  • 5 篇 krishnaswami nee...
  • 4 篇 bahr patrick
  • 3 篇 jeffrey alan
  • 3 篇 mogelberg rasmus...
  • 3 篇 hudak paul
  • 3 篇 moriguchi sosuke
  • 2 篇 benton nick
  • 2 篇 graulund christi...
  • 2 篇 de meuter wolfga...
  • 2 篇 praseed pai
  • 2 篇 peter abraham
  • 2 篇 van der ploeg at...
  • 2 篇 edmonson william
  • 2 篇 keating finnbar
  • 2 篇 winograd-cort da...
  • 2 篇 schmidli eliane ...
  • 2 篇 jeltsch wolfgang

语言

  • 69 篇 英文
  • 3 篇 其他
检索条件"主题词=Functional Reactive Programming"
72 条 记 录,以下是71-80 订阅
排序:
Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models  13
Piglets to the rescue: Declarative User Interface Specificat...
收藏 引用
Proceedings of the 25th symposium on Implementation and Application of functional Languages
作者: Loïc Denuzière Ernesto Rodriguez Adam Granicz IntelliFactory
This paper introduces Pluggable Interactive GUI-lets (or Piglets, for short) as a means for constructing reusable, reactive graphical user interfaces that can be instantiated over different view models and presentatio... 详细信息
来源: 评论
Designing of IoT Platform Based on functional reactive Pattern
Designing of IoT Platform Based on Functional Reactive Patte...
收藏 引用
2018 International Conference on Computer Science, Electronics and Communication Engineering(CSECE2018)
作者: Haidong Lv Xiaolong Ge Hongzhi Zhu Zhiwei Yuan Zhen Wang Yongkang Zhu City Institute of Dalian University of Technology
To meet the real-time requirement and data fast processing has become a significant challenge in the Internet of Things platform. In an attempt to design and implement new reactive paradigm, this paper presents an inn... 详细信息
来源: 评论