咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是231-240 订阅
排序:
Gender differences in programming: research results and teachers' perception  15
Gender differences in programming: research results and teac...
收藏 引用
15th Koli Calling conference on Computing Education Research, Koli Calling 2015
作者: Funke, Alexandra Berges, Marc Mühling, Andreas Hubwieser, Peter TUM School of Education Technische Universität München Germany
Women are severely underrepresented in the field of computer science. Already in school gender differences in CS, especially in programming, are observable. To face this, we surveyed 63 computer science teachers on th... 详细信息
来源: 评论
Proceedings of the 12th Middleware Doctoral Symposium, Middleware Doctoral Symposium 2015 - Co-located with the acm/IFIP/USENIX 15th international Middleware conference
Proceedings of the 12th Middleware Doctoral Symposium, Middl...
收藏 引用
12th Middleware Doctoral Symposium, Middleware Doctoral Symposium 2015
the proceedings contain 9 papers. the topics discussed include: enhancing internet of things with reconfigurable hardware and software;towards semantic integration of heterogeneous sensor data with indigenous knowledg...
来源: 评论
A low overhead automated service for teaching programming  15
A low overhead automated service for teaching programming
收藏 引用
15th Koli Calling conference on Computing Education Research, Koli Calling 2015
作者: Lokar, Matija Pretnar, Matija Faculty of Mathematics and Physics University of Ljubljana Slovenia
programming is a skill that often demands that students engage in a significantly high amount of individual practice and experimentation in order to acquire basic competence. Teachers are required to both encourage st... 详细信息
来源: 评论
Introducing thonny, a python ide for learning programming  15
Introducing thonny, a python ide for learning programming
收藏 引用
15th Koli Calling conference on Computing Education Research, Koli Calling 2015
作者: Annamaa, Aivar Institute of Computer Science University of Tartu Estonia
thonny is a new Python IDE for learning and teaching programming that can make program visualization a natural part of the beginners' workow. Among its prominent features are different ways of stepping through the... 详细信息
来源: 评论
Digital and open innovation: Implications for business models and research strategies of private and public organizations  15
Digital and open innovation: Implications for business model...
收藏 引用
15th international conference on Knowledge Technologies and Data-Driven Business, i-KNOW 2015
作者: Leitner, Karl-Heinz Austrian Institute of Technology Donau-City Strasse 1 ViennaA-1220 Austria
While new ways of doing research and innovation such as open science, Science 2.0, user innovation or crowdsourcing have been intensively discussed in the past few years, little systematic analysis and exploration of ... 详细信息
来源: 评论
Data Mining Algorithms Parallelizing in functional programming Language for Execution in Cluster  15th
收藏 引用
15th international conference on Next-Generation Wired/Wireless Advanced Networks and Systems (NEW2AN) and 8th conference on Internet of things and Smart Spaces (ruSMART)
作者: Kholod, Ivan Malov, Aleksey Rodionov, Sergey St Petersburg Electrotech Univ LETI St Petersburg Russia Motorola Solut Business Ctr T4 St Petersburg 192019 Russia
this article describes an approach to parallelizing of data mining algorithms, implemented in functional programming language, for distributed data processing in cluster. Here are provided requirements for the functio... 详细信息
来源: 评论
Object-oriented programming course revisited  15
Object-oriented programming course revisited
收藏 引用
15th Koli Calling conference on Computing Education Research, Koli Calling 2015
作者: Herala, Antti Vanhala, Erno Nikula, Uolevi Lappeenranta University of Technology Department of Innovation and Software P.O.Box 20 LappeenrantaFI-53851 Finland
Teaching has faced challenges over the latest decades. It is easier than ever to provide material for students and get returned exercises and hold exams online. Besides technology and platforms, also teaching methods ... 详细信息
来源: 评论
acm international conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
15th Koli Calling conference on Computing Education Research, Koli Calling 2015
the proceedings contain 31 papers. the topics discussed include: towards a pedagogical design for teaching novice programmers: design-based research as an empirical determinant for success;measuring the effect of inve...
来源: 评论
Embedded questions in ebooks on programming - useful for a) summative assessment, b) formative assessment, or c) something else?  15
Embedded questions in ebooks on programming - useful for a) ...
收藏 引用
15th Koli Calling conference on Computing Education Research, Koli Calling 2015
作者: Sorva, Juha Sirkï, Teemu Department of Computer Science School of Science Aalto University Espoo Finland
We discuss uses of embedded computing questions (ECQs) in interactive electronic textbooks on programming, identifying a non-exhaustive list of three main categories of ECQs and nine subcategories. the main categories... 详细信息
来源: 评论
Writing and reviewing contracts: Don't you wish to save time, effort, and money?  15
Writing and reviewing contracts: Don't you wish to save time...
收藏 引用
15th international conference on Artificial Intelligence and Law, ICAIL 2015
作者: Gabbard, Jason Sukkarieh, Jana Z. Silva, Federico Counselytics United States
this extended abstract describes a web-based system that helps lawyers and their clients save time, effort and money. the system automatically reviews a contract, written in English, and points out which components ar... 详细信息
来源: 评论