咨询与建议

限定检索结果

文献类型

  • 632 篇 会议
  • 65 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 578 篇 工学
    • 479 篇 软件工程
    • 437 篇 计算机科学与技术...
    • 30 篇 电气工程
    • 27 篇 控制科学与工程
    • 16 篇 信息与通信工程
    • 6 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
    • 4 篇 生物医学工程(可授...
    • 3 篇 材料科学与工程(可...
    • 2 篇 力学(可授工学、理...
    • 2 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 动力工程及工程热...
    • 2 篇 农业工程
  • 60 篇 理学
    • 49 篇 数学
    • 6 篇 生物学
    • 6 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 4 篇 化学
    • 2 篇 系统科学
  • 39 篇 教育学
    • 39 篇 教育学
  • 30 篇 管理学
    • 19 篇 图书情报与档案管...
    • 12 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 6 篇 法学
    • 6 篇 社会学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 农学
    • 2 篇 作物学
  • 2 篇 医学
    • 2 篇 临床医学

主题

  • 106 篇 functional progr...
  • 66 篇 languages
  • 61 篇 computer program...
  • 46 篇 design
  • 34 篇 computer program...
  • 32 篇 haskell
  • 30 篇 programming
  • 20 篇 object oriented ...
  • 20 篇 dependent types
  • 18 篇 functional react...
  • 18 篇 theory
  • 18 篇 programming lang...
  • 17 篇 performance
  • 13 篇 domain-specific ...
  • 13 篇 semantics
  • 12 篇 algorithms
  • 12 篇 logic programmin...
  • 11 篇 generic programm...
  • 11 篇 verification
  • 11 篇 continuations

机构

  • 7 篇 northeastern uni...
  • 7 篇 carnegie mellon ...
  • 7 篇 portland state u...
  • 5 篇 univ penn philad...
  • 5 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 microsoft res ca...
  • 3 篇 north carolina s...
  • 3 篇 indiana univ blo...
  • 3 篇 georgia inst tec...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ strathclyde...
  • 3 篇 harvard univ cam...
  • 3 篇 univ new s wales...
  • 3 篇 it university of...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...
  • 3 篇 univ utah salt l...
  • 3 篇 yale univ dept c...
  • 3 篇 luca school of a...

作者

  • 7 篇 krishnaswami nee...
  • 5 篇 flatt matthew
  • 5 篇 keller gabriele
  • 5 篇 jones mark p.
  • 5 篇 findler robert b...
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 claessen koen
  • 4 篇 jeuring johan
  • 4 篇 chlipala adam
  • 4 篇 peyton jones sim...
  • 4 篇 walker david
  • 3 篇 oliveira bruno c...
  • 3 篇 leshchinskiy rom...
  • 3 篇 watanabe takuo
  • 3 篇 pottier francois
  • 3 篇 devriese dominiq...
  • 3 篇 gibbons phillip ...

语言

  • 631 篇 英文
  • 63 篇 其他
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=15th ACM SIGPLAN International Conference on Functional Programming"
700 条 记 录,以下是511-520 订阅
排序:
Proceedings of the 2007 international conference on Dynamic Languages, ICDL 2007, Organised in Conjunction with the 15th international Smalltalk Joint conference 2007
Proceedings of the 2007 International Conference on Dynamic ...
收藏 引用
2007 international conference on Dynamic Languages, ICDL 2007, Organised in Conjunction with the 15th international Smalltalk Joint conference 2007
the proceedings contain 11 papers. the topics discussed include: change-oriented software engineering;encapsulating and exploiting change with changeboxes;redesigning with traits: the nile stream trait-based library;f...
来源: 评论
programming Web multimedia applications with Hop
Programming Web multimedia applications with Hop
收藏 引用
15th acm international conference on Multimedia, MM'07
作者: Serrano, Manuel Inria Sophia Antipolis 2004 route des Lucioles F-06902 Sophia Antipolis Cedex France
HOP is a new execution platform for running interactive and multimedia applications on the Web. It is aimed at executing applications such as Web agendas, Web galleries, Web music players, etc. HOP consists of: i) a n... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation
收藏 引用
JOURNAL OF functional programming 2007年 第4-5期17卷 547-612页
作者: Sewell, Peter Leifer, James J. Wansbrough, Keith Nardelli, Francesco Zappa Allen-Williams, Mair Habouzit, Pierre Vafeiadis, Viktor Univ Cambridge Cambridge England INRIA Rocquencourt Le Chesnay France
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b...
来源: 评论
Xface open source project and smil-agent scripting language for creating and animating embodied conversational agents
Xface open source project and smil-agent scripting language ...
收藏 引用
15th acm international conference on Multimedia, MM'07
作者: Balci, Koray Not, Elena Zancanaro, Massimo Pianesi, Fabio FBK-irst Via Sommarive 18 I-38050 Trento Italy
Xface is a set of open source tools for creation of embodied conversational agents (ECAs) using MPEG4 and keyframe based rendering driven by SMIL-Agent scripting language. Xface Toolkit, coupled with SMIL-Agent script... 详细信息
来源: 评论
Context-oriented programming: Beyond layers  07
Context-oriented programming: Beyond layers
收藏 引用
2007 international conference on Dynamic Languages, ICDL 2007, Organised in Conjunction with the 15th international Smalltalk Joint conference 2007
作者: Von Löwis, Martin Denker, Marcus Nierstrasz, Oscar Operating Systems and Middleware Group Hasso-Plattner-Institute University of Potsdam Germany Software Composition Group University of Bern Switzerland
While many software systems today have to be aware of the context in which they are executing, there is still little support for structuring a program with respect to context. A first step towards better context-orien...
来源: 评论
Bridging the gap between morphic visual programming and Smalltalk code  07
Bridging the gap between morphic visual programming and Smal...
收藏 引用
2007 international conference on Dynamic Languages, ICDL 2007, Organised in Conjunction with the 15th international Smalltalk Joint conference 2007
作者: Bouraqadi, Noury Stinckwich, Serge École des Mines de Douai France GREYC Université de Caen France
In this paper, we claim that both prototype-based visual programming and traditional Smalltalk class-based programming are required for developing applications with a GUI. We introduce Easy Morphic GUI (EMG), a framew... 详细信息
来源: 评论
Linguistic symbiosis between actors and threads  07
Linguistic symbiosis between actors and threads
收藏 引用
2007 international conference on Dynamic Languages, ICDL 2007, Organised in Conjunction with the 15th international Smalltalk Joint conference 2007
作者: Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang Programming Technology Lab. Vrije Universiteit Brussel Brussels Belgium
We describe a linguistic symbiosis between AmbientTalk, a flexible, domain-specific language for writing distributed programs and Java, a conventional object-oriented language. this symbiosis allows concerns related t... 详细信息
来源: 评论
Proceedings of the Fifteenth acm international conference
Proceedings of the Fifteenth ACM International Conference
收藏 引用
15th acm international conference on Multimedia, MM'07
the proceedings contain 199 papers. the topics discussed include: programming web multimedia applications with Hop;advene: an open-source framework for integrating and visualising audiovisual metadata;GPCA, open sourc... 详细信息
来源: 评论
Mobile phone programming for multimedia
Mobile phone programming for multimedia
收藏 引用
15th acm international conference on Multimedia, MM'07
作者: Scheible, Jörgen Media Lab. University of Art and Design Helsinki Hämeentie 135C FI-00560 Helsinki Finland
this compact hands-on tutorial introduces a novel way of creative mobile phone programming for multi-media that is easy to learn and fun. It was created in 2006 by the author of this paper and was published as a free ... 详细信息
来源: 评论
Change-oriented software engineering  07
Change-oriented software engineering
收藏 引用
2007 international conference on Dynamic Languages, ICDL 2007, Organised in Conjunction with the 15th international Smalltalk Joint conference 2007
作者: Ebraert, Peter Vallejos, Jorge Costanza, Pascal Van Paesschen, Ellen D'Hondt, theo Programming Technology Lab. Vrije Universiteit Brussel Pleinlaan 2 B-1050 Brussel Belgium Laboratoire D'Informatique Fondamentale de Lille University of Lille 1 59655 Villeneuve d'Ascq France
We propose a first-class change model for Change-Oriented Software Engineering (COSE). Based on an evolution scenario, we identify a lack of support in current Interactive Development Environments (IDEs) to apply COSE... 详细信息
来源: 评论