咨询与建议

限定检索结果

文献类型

  • 648 篇 会议
  • 77 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 600 篇 工学
    • 464 篇 软件工程
    • 449 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 36 篇 电气工程
    • 17 篇 信息与通信工程
    • 8 篇 建筑学
    • 6 篇 电子科学与技术(可...
    • 4 篇 材料科学与工程(可...
    • 4 篇 动力工程及工程热...
    • 4 篇 土木工程
    • 4 篇 生物工程
    • 3 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 石油与天然气工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 93 篇 理学
    • 46 篇 数学
    • 36 篇 生物学
    • 5 篇 系统科学
    • 4 篇 物理学
    • 3 篇 化学
    • 2 篇 统计学(可授理学、...
  • 30 篇 教育学
    • 30 篇 教育学
    • 14 篇 心理学(可授教育学...
  • 23 篇 管理学
    • 17 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 19 篇 法学
    • 19 篇 社会学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 医学
  • 1 篇 军事学
  • 1 篇 艺术学

主题

  • 97 篇 functional progr...
  • 74 篇 languages
  • 50 篇 genetic programm...
  • 46 篇 design
  • 46 篇 computer program...
  • 30 篇 haskell
  • 27 篇 computer program...
  • 25 篇 programming
  • 21 篇 theory
  • 20 篇 dependent types
  • 19 篇 performance
  • 16 篇 algorithms
  • 15 篇 parallel program...
  • 15 篇 programming lang...
  • 14 篇 logic programmin...
  • 14 篇 functional react...
  • 13 篇 verification
  • 12 篇 object oriented ...
  • 12 篇 domain-specific ...
  • 11 篇 education

机构

  • 8 篇 northeastern uni...
  • 7 篇 portland state u...
  • 6 篇 carnegie mellon ...
  • 6 篇 microsoft res ca...
  • 5 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 univ penn philad...
  • 3 篇 indiana univ blo...
  • 3 篇 delft univ techn...
  • 3 篇 univ edinburgh e...
  • 3 篇 open university ...
  • 3 篇 microsoft res re...
  • 3 篇 univ strathclyde...
  • 3 篇 univ new s wales...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...
  • 3 篇 technion-israel ...
  • 3 篇 univ utah salt l...
  • 3 篇 univ chicago il ...
  • 3 篇 yale univ dept c...

作者

  • 6 篇 findler robert b...
  • 5 篇 flatt matthew
  • 5 篇 jones mark p.
  • 5 篇 krishnaswami nee...
  • 4 篇 o'reilly una-may
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 devriese dominiq...
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 spector lee
  • 4 篇 claessen koen
  • 4 篇 jeuring johan
  • 4 篇 wu nicolas
  • 4 篇 chlipala adam
  • 4 篇 dreyer derek
  • 4 篇 keller gabriele
  • 4 篇 walker david
  • 3 篇 dolstra eelco
  • 3 篇 loh andres

语言

  • 649 篇 英文
  • 73 篇 其他
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=14th ACM SIGPLAN International Conference on Functional Programming"
726 条 记 录,以下是51-60 订阅
排序:
Design and Development of a Text programming Teaching System for Primary school Students  14
Design and Development of a Text Programming Teaching System...
收藏 引用
14th international conference on Education Technology and Computers, ICETC 2022
作者: Ding, Guozhu Liu, Jiaxin Liu, Xuan Jiang, Tao Liang, Guanjian Guangzhou University China Foshan Nanhai Shimen Middle School China
Computational thinking (CT) is a key component of 21st century education. With that visual programming has become a major tool for primary school students to learn programming. In response to the current difficulties ... 详细信息
来源: 评论
Fostering Active Learning in Introductory programming Courses by Utilizing Multiple programming Tools and Enrichment Activities  14
Fostering Active Learning in Introductory Programming Course...
收藏 引用
14th international conference on Education Technology and Computers, ICETC 2022
作者: Liu, Hong Hossain, Md Nour Alnusair, Awny Department of Informatics and Computer Science Indiana University Kokomo Kokomo United States
Teaching introductory computer programming for first-year college students has been challenging. the challenges stem from the fact that teachers often struggle to find the best pedagogical strategies that address the ... 详细信息
来源: 评论
SLE 2021 - Proceedings of the 14th acm sigplan international conference on Software Language Engineering, co-located with SPLASH 2021
SLE 2021 - Proceedings of the 14th ACM SIGPLAN International...
收藏 引用
14th acm sigplan international conference on Software Language Engineering, SLE 2021, held as part of SPLASH 2021
the proceedings contain 14 papers. the topics discussed include: monilogging for executable domain-specific languages;vision: the next 700 language workbenches;vision: the next 700 language workbenches;automating the ...
来源: 评论
***: Declarative HTML  21
***: Declarative HTML
收藏 引用
5th international conference on the Art, Science, and Engineering of programming (programming)
作者: Reynders, Bob Choi, Kwanghoon Chonnam Natl Univ Gwangju South Korea
Interactive user experiences on the web are becoming the norm. Client-side programs are becoming more complicated and have to deal with event handling, reading HTML document state and updating the interface. In this p... 详细信息
来源: 评论
CC 2021 - Proceedings of the 30th acm sigplan international conference on Compiler Construction
CC 2021 - Proceedings of the 30th ACM SIGPLAN International ...
收藏 引用
30th acm sigplan international conference on Compiler Construction, CC 2021
the proceedings contain 14 papers. the topics discussed include: data-aware process networks;integrating a functional pattern-based IR into MLIR;compiling data-parallel datalog;PGZ: automatic zero-value code specializ...
来源: 评论
Understanding Argumentative Behavior in Online Communities: An Integration of TPB and theory of Privacy Protection  14
Understanding Argumentative Behavior in Online Communities: ...
收藏 引用
14th international conference on Education Technology and Computers, ICETC 2022
作者: Liang, Dong Liu, Ningzhi School of Foreign Studies Xi'An Medical University Xi'an China School of Economics and Management Xi'An University of Technology Xi'an China
this paper puts forward users' argumentative behavior and examines the antecedents of users' argumentative behavior. By integrating theory of planned behavior and theory of privacy protection, this paper propo... 详细信息
来源: 评论
TyDe 2021 - Proceedings of the 6th acm sigplan international Workshop on Type-Driven Development, co-located with ICFP 2021
TyDe 2021 - Proceedings of the 6th ACM SIGPLAN International...
收藏 引用
6th acm sigplan international Workshop on Type-Driven Development, TyDe 2021, co-located with the international conference on functional programming, ICFP 2021
the proceedings contain 2 papers. the topics discussed include: actions you can handle: dependent types for AI plans;and a simpler encoding of indexed types.
来源: 评论
Enabling high-level parallel programming on multi-FPGA clusters  14
Enabling high-level parallel programming on multi-FPGA clust...
收藏 引用
14th international Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2024
作者: De Haro Ruiz, Juan Miguel Ávarez Martínez, Carlos Jiménez-González, Daniel Martorell Bofill, Xavier Universitat Politècnica de Catalunya Barcelona Supercomputing Center Barcelona Spain
Field Programmable Gate Arrays (FPGA) are still relatively new in the High Performance Computing (HPC) field. Hence, they still lack a mature ecosystem that allows non-FPGA experts to scale an application with many de... 详细信息
来源: 评论
the Important Factors of Cultivating international Talents that Promote China's Higher Education to Go Global  14
The Important Factors of Cultivating International Talents t...
收藏 引用
14th international conference on Education Technology and Computers, ICETC 2022
作者: Tong, Ruoxian Luan, Zhiqiang International College Beijing China Agricultural University No.17 Qinghua East Road Beijing100083 China
Exploring the cultivation of international talents that drive China's higher education go global is consistent with the current Chinese national context, helps enhance international influence, and is in line with ... 详细信息
来源: 评论
Erlang 2021 - Proceedings of the 20th acm sigplan international Workshop on Erlang, co-located with ICFP 2021
Erlang 2021 - Proceedings of the 20th ACM SIGPLAN Internatio...
收藏 引用
20th acm sigplan international Workshop on Erlang, Erlang 2021, co-located with the Annual international conference on functional programming, ICFP 2021
the proceedings contain 6 papers. the topics discussed include: graft: general purpose raft consensus in Elixir;the Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network;detecting oxb...
来源: 评论