咨询与建议

限定检索结果

文献类型

  • 633 篇 会议
  • 68 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 581 篇 工学
    • 482 篇 软件工程
    • 440 篇 计算机科学与技术...
    • 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 篇 临床医学

主题

  • 107 篇 functional progr...
  • 66 篇 languages
  • 62 篇 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
  • 14 篇 semantics
  • 13 篇 domain-specific ...
  • 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...
  • 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 篇 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

语言

  • 635 篇 英文
  • 63 篇 其他
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 2 篇 中文
检索条件"任意字段=15th ACM SIGPLAN International Conference on Functional Programming"
704 条 记 录,以下是81-90 订阅
排序:
15th international Symposium on functional and Logic programming, FLOPS 2020
15th International Symposium on Functional and Logic Program...
收藏 引用
15th international Symposium on functional and Logic programming, FLOPS 2020
the proceedings contain 13 papers. the special focus in this conference is on functional and Logic programming. the topics include: Implementing, and Keeping in Check, a DSL Used in E-Learning;system Description: Lang...
来源: 评论
On the Detection of Community Smells Using Genetic programming-based Ensemble Classifier Chain  15
On the Detection of Community Smells Using Genetic Programmi...
收藏 引用
15th acm/IEEE international conference on Global Software Engineering (ICGSE)
作者: Almarimi, Nuri Ouni, Ali Chouchen, Moataz Saidani, Islem Mkaouer, Mohamed Wiem Univ Quebec ETS Montreal Montreal PQ Canada Rochester Inst Technol Rochester NY USA
Community smells are symptoms of organizational and social issues within the software development community that often increase the project costs and impact software quality. Recent studies have identified a variety o... 详细信息
来源: 评论
Towards Quantitative Trade-off Analysis in Goal Models with Multiple Obstacles using Constraint programming  15
Towards Quantitative Trade-off Analysis in Goal Models with ...
收藏 引用
15th international conference on Software Technologies (ICSOFT)
作者: Ponsard, Christophe Darimont, Robert CETIC Res Ctr Charleroi Belgium Respect IT SA Louvain La Neuve Belgium
Goal Models capture system goals and their decomposition into operational requirements assigned to human, hardware or software agents. this refinement process supports alternatives both when refining goals processes b... 详细信息
来源: 评论
Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report  12
Developing a Monadic Type Checker for an Object-Oriented Lan...
收藏 引用
12th acm sigplan international conference on Software Language Engineering (SLE)
作者: Castegren, Elias Fernandez-Reyes, Kiko KTH Royal Inst Technol Software & Comp Syst Stockholm Sweden Uppsala Univ Informat Technol Uppsala Sweden
functional programming languages are well-suited for developing compilers, and compilers for functional languages are often themselves written in a functional language. functional abstractions, such as monads, allow a... 详细信息
来源: 评论
See What I See: Enabling User-Centric Robotic Assistance Using First-Person Demonstrations  20
See What I See: Enabling User-Centric Robotic Assistance Usi...
收藏 引用
15th Annual acm/IEEE international conference on Human-Robot Interaction (HRI)
作者: Wang, Yeping Ajaykumar, Gopika Huang, Chien-Ming Johns Hopkins Univ Baltimore MD 21218 USA
We explore first-person demonstration as an intuitive way of producing task demonstrations to facilitate user-centric robotic assistance. First-person demonstration directly captures the human experience of task perfo... 详细信息
来源: 评论
Reflection in Attribute Grammars  2019
Reflection in Attribute Grammars
收藏 引用
18th acm sigplan international conference on Generative programming - Concepts and Experiences (GPCE)
作者: Kramer, Lucas Kaminski, Ted Van Wyk, Eric Univ Minnesota Minneapolis MN 55455 USA
this paper shows how reflection on (undecorated) syntax trees used in attribute grammars can significantly reduce the amount of boiler-plate specifications that must be written. It is implemented in the Silver attribu... 详细信息
来源: 评论
VEE 2019 - Proceedings of the 15th acm sigplan/SIGOPS international conference on Virtual Execution Environments
VEE 2019 - Proceedings of the 15th ACM SIGPLAN/SIGOPS Intern...
收藏 引用
15th acm sigplan/SIGOPS international conference on Virtual Execution Environments, VEE 2019
the proceedings contain 15 papers. the topics discussed include: TEEv: virtualizing trusted execution environments on mobile platforms;secure guest virtual machine support in apparition;ACRN: a big little hypervisor f...
来源: 评论
Foreign Language Interfaces by Code Migration  2019
Foreign Language Interfaces by Code Migration
收藏 引用
18th acm sigplan international conference on Generative programming - Concepts and Experiences (GPCE)
作者: Chiba, Shigeru Univ Tokyo Grad Sch Informat Sci & Technol Tokyo Japan
A foreign function interface (FFI) is a classical abstraction used for interfacing a programming language with another foreign language to reuse its libraries. this interface is important for a new (or non prevailing)... 详细信息
来源: 评论
TyDe 2019 - Proceedings of the 4th acm sigplan international Workshop on Type-Driven Development, co-located with ICFP 2019
TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International...
收藏 引用
4th acm sigplan international Workshop on Type-Driven Development, TyDe 2019, co-located with the international conference on functional programming, ICFP 2019
the proceedings contain 6 papers. the topics discussed include: how to do proofs: practically proving properties about effectful programs’ results (functional pearl);deferring the details and deriving programs;generi...
来源: 评论
Categorical Model of functional Language with Natural Numbers and Boolean Values  15
Categorical Model of Functional Language with Natural Number...
收藏 引用
15th IEEE international Scientific and Technical conference on Computer Sciences and Information Technologies, CSIT 2020
作者: Perháč, Ján Bilanová, Zuzana Technical University of Košice Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Košice Slovakia
Curry-Howard-Lambek isomorphism defines a correspondence between at first sight different theories: Church's computational calculi (which is the foundation of functional programming paradigm), intuitionistic logic... 详细信息
来源: 评论