咨询与建议

限定检索结果

文献类型

  • 631 篇 会议
  • 69 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 105 篇 functional progr...
  • 66 篇 languages
  • 64 篇 computer program...
  • 46 篇 design
  • 35 篇 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

机构

  • 8 篇 carnegie mellon ...
  • 7 篇 northeastern uni...
  • 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...
  • 6 篇 findler robert b...
  • 5 篇 flatt matthew
  • 5 篇 keller gabriele
  • 5 篇 jones mark p.
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 claessen koen
  • 4 篇 jeuring johan
  • 4 篇 chlipala adam
  • 4 篇 dreyer derek
  • 4 篇 peyton jones sim...
  • 4 篇 walker david
  • 3 篇 oliveira bruno c...
  • 3 篇 dolstra eelco
  • 3 篇 loh andres
  • 3 篇 leshchinskiy rom...
  • 3 篇 watanabe takuo

语言

  • 642 篇 英文
  • 55 篇 其他
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=15th ACM SIGPLAN International Conference on Functional Programming"
703 条 记 录,以下是271-280 订阅
排序:
Task oriented programming with purely compositional interactive Scalable Vector Graphics  14
Task oriented programming with purely compositional interact...
收藏 引用
26th Symposium on Implementation and Application of functional Languages, IFL 2014
作者: Achten, Peter Stutterheim, Jurriën Domoszlai, László Plasmeijer, Rinus Radboud University ICIS MBSD Nijmegen Netherlands Eötvös Loránd University Software Technology Department Budapest Hungary
iTasks enables the rapid creation of multi-user web-applications by automatically generating form-based graphical user interfaces (GUIs) for any first-order type. In some situations, however, form-based GUIs are not s... 详细信息
来源: 评论
Online programming exercises for summative assessment in university courses  14
Online programming exercises for summative assessment in uni...
收藏 引用
15th international conference on Computer Systems and Technologies, CompSysTech 2014
作者: Navrat, Pavol Tvarozek, Jozef Institute of Software Engineering and Informatics Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovicova 2 Bratislava842 16 Slovakia
Although interactive e-learning environments are increasingly used in university courses, traditional types of examination still dominate the way how students are assessed for grades. In this paper, we examined how st... 详细信息
来源: 评论
A systematic review of technology acceptance model in e-learning context  14
A systematic review of technology acceptance model in e-lear...
收藏 引用
15th international conference on Human Computer Interaction, INTERACCION 2014
作者: Alkis, Nurcan Coskunçay, Duygu Findik Yildirim, Sevgi Özkan Middle East Technical University Informatics Institute Turkey Middle East Technical University Informatics Institute Atatürk University Turkey
In this study, a systematic review was performed to identify the factors that affect adoption of e-learning systems by end-users. there are different studies in literature that examine factors affecting end-users'... 详细信息
来源: 评论
Adaptive text generation based on emotional lexical choice  14
Adaptive text generation based on emotional lexical choice
收藏 引用
15th international conference on Human Computer Interaction, INTERACCION 2014
作者: Bautista, Susana Gervás, Pablo Díaz, Alberto Dpto. Ingeniería del Software e Inteligencia Artificial Universidad Complutense de Madrid Madrid Spain Instituto de Tecnología del Conocimiento Universidad Complutense de Madrid Madrid Spain
the emotional information can have influence in several stages in text generation process. In this paper, the emocional connotations play a role in the lexical choice stage belongs to discourse planner component in th... 详细信息
来源: 评论
Tutorial: Egovframe a complete platform  14
Tutorial: Egovframe a complete platform
收藏 引用
15th Annual international conference on Digital Government Research, dg.o 2014
作者: Mariano, Gamboa Z. López, Jano U. Instituto Politécnico Nacional 2508 Col.-San-Pedro Zacatenco Mexico
In this tutorial we will show the most important aspects of the eGovFrame, in order that the assistants may understand why it's a very useful tool to make eGovernment Systems, also in the tutorial we can work in a... 详细信息
来源: 评论
Digital inclusion of low-income women: Are users of internet able to improve their life conditions?  14
Digital inclusion of low-income women: Are users of internet...
收藏 引用
15th international conference on Human Computer Interaction, INTERACCION 2014
作者: Ramos, Ana M. González Prieto, Lidia Arroyo Open University of Catalonia C/Roc Boronat 117 Barcelona0818 Spain
this paper addresses the impact of digital inclusion in life conditions of low-income women who may stir a process of transformation due to the ICT (Information and Communication Technologies). Supposedly, ICT and esp... 详细信息
来源: 评论
Accessibility in eGovernment  14
Accessibility in eGovernment
收藏 引用
15th international conference on Human Computer Interaction, INTERACCION 2014
作者: Posada, Raquel Hernando Cano, Teodoro Calonge Rodríguez, Joaquín Adiego Consejería de Economía y Empleo Junta de Castilla y León J. Rivero Meneses 3 Valladolid47014 Spain E.T.S. Ingeniería Informática Universidad de Valladolid Paseo de Belén 15 Valladolid47011 Spain
Two main features are that the administration should be open and participatory, and both are much easier through the channels offered by eGovernment. However, many electronic administrations procedures available to th... 详细信息
来源: 评论
Emotions evoked during the use of Learning Management Systems  14
Emotions evoked during the use of Learning Management System...
收藏 引用
15th international conference on Human Computer Interaction, INTERACCION 2014
作者: Méndez, Yenny A. Collazos, César A. Granollers, Toni Gil, Rosa Universidad del Cauca Calle 5 No. 4-70 Colombia Universidad de Lleida Jaurne II 69 Lleida25001 Spain
In order to focus the evaluation of Learning Management Systems (LMS) to the interpretation and analysis of specific emotions, we propose in this paper a "base list" of emotions which are obtained from relat... 详细信息
来源: 评论
A model for collaborative content production in digital literacy context  14
A model for collaborative content production in digital lite...
收藏 引用
15th international conference on Human Computer Interaction, INTERACCION 2014
作者: Mendoza, José Eder Guzmán Arteaga, Jaime Muñoz Rodríguez, Javier Álvarez Ordoñez, Cesar Alberto Collazos Universidad Autónoma de Aguascalientes Av. Universidad #940 C.P. 20131 Mexico Universidad del Cauca FIET - Sector Tulcan Popayán Colombia
In order to achieve a knowledge society involves first to solve the problem of the digital divide. Overcoming the digital divide involves addressing three factors: infrastructure, digital literacy and content. this ar... 详细信息
来源: 评论
Two applications of the ASP-Prolog system: Decomposable programs and multi-context systems
收藏 引用
15th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
作者: Son, Tran Cao Pontelli, Enrico Le, Tiep Department of Computer Science New Mexico State University United States
this paper presents two applications of the ASP-Prolog system, one of the earliest modular logic programming frameworks for integrating ASP and traditional Prolog/CLP reasoning. Both applications represent significant... 详细信息
来源: 评论