咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Demo Outline: Switched-on Yampa programming Modular Syntheziers in Haskell
Demo Outline: Switched-on Yampa Programming Modular Synthezi...
收藏 引用
11th ACM SIGPLAN Haskell Workshop
作者: Giorgidze, George Nilsson, Henrik Univ Nottingham Nottingham NG7 2RD England
In this demonstration, we present an implementation of a modular synthesizer in Haskell using Yampa. A synthesizer, be it a hardware instrument or a pure software implementation, as here, is said to be modular if it p... 详细信息
来源: 评论
FranTk - A declarative GUI language for Haskell  00
FranTk - A declarative GUI language for Haskell
收藏 引用
5th ACM SIGPLAN International Conference on functional programming (ICFP)
作者: Sage, M Univ Glasgow Dept Comp Sci Glasgow G12 8QQ Lanark Scotland
FranTk is a new high level library for programming Graphical User Interfaces (GUIs) in Haskell. It is based on Fran (functional reactive Animation), and uses the notions of Behaviors and Events to structure code. Beha... 详细信息
来源: 评论