咨询与建议

限定检索结果

文献类型

  • 2,762 篇 会议
  • 963 篇 期刊文献
  • 44 篇 学位论文
  • 15 册 图书
  • 1 篇 科技报告

馆藏范围

  • 3,785 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,279 篇 工学
    • 1,859 篇 计算机科学与技术...
    • 1,479 篇 软件工程
    • 313 篇 电气工程
    • 92 篇 控制科学与工程
    • 71 篇 信息与通信工程
    • 38 篇 电子科学与技术(可...
    • 24 篇 机械工程
    • 18 篇 力学(可授工学、理...
    • 17 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 10 篇 建筑学
    • 10 篇 农业工程
    • 8 篇 土木工程
  • 379 篇 理学
    • 308 篇 数学
    • 42 篇 物理学
    • 29 篇 生物学
    • 17 篇 化学
    • 16 篇 系统科学
  • 107 篇 管理学
    • 63 篇 管理科学与工程(可...
    • 46 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 44 篇 教育学
    • 41 篇 教育学
  • 19 篇 文学
    • 15 篇 新闻传播学
  • 16 篇 法学
    • 15 篇 社会学
  • 15 篇 艺术学
    • 12 篇 音乐与舞蹈学
  • 14 篇 医学
    • 9 篇 临床医学
  • 11 篇 农学
    • 10 篇 作物学
  • 5 篇 经济学
  • 4 篇 哲学
  • 1 篇 历史学
  • 1 篇 军事学

主题

  • 3,785 篇 functional progr...
  • 256 篇 computer science
  • 229 篇 computer languag...
  • 227 篇 programming prof...
  • 201 篇 application soft...
  • 188 篇 logic programmin...
  • 134 篇 linear programmi...
  • 132 篇 computer archite...
  • 132 篇 parallel program...
  • 130 篇 hardware
  • 118 篇 concurrent compu...
  • 116 篇 testing
  • 111 篇 computational mo...
  • 111 篇 control systems
  • 106 篇 genetic programm...
  • 106 篇 parallel process...
  • 100 篇 java
  • 97 篇 mathematical pro...
  • 93 篇 object oriented ...
  • 92 篇 constraint optim...

机构

  • 14 篇 chalmers univ te...
  • 9 篇 univ edinburgh e...
  • 9 篇 chalmers univers...
  • 8 篇 radboud univ nij...
  • 7 篇 carnegie mellon ...
  • 7 篇 portland state u...
  • 7 篇 microsoft res ca...
  • 6 篇 univ copenhagen ...
  • 6 篇 chalmers univers...
  • 6 篇 graduate school ...
  • 6 篇 univ oxford comp...
  • 6 篇 univ oxford dept...
  • 6 篇 imperial coll lo...
  • 6 篇 microsoft resear...
  • 6 篇 radboud universi...
  • 6 篇 charles universi...
  • 6 篇 univ penn philad...
  • 6 篇 carnegie mellon ...
  • 5 篇 departamento de ...
  • 5 篇 radboud univ nij...

作者

  • 17 篇 gibbons jeremy
  • 15 篇 pardo alberto
  • 15 篇 loulergue freder...
  • 14 篇 wang meng
  • 13 篇 plasmeijer rinus
  • 12 篇 m. sakawa
  • 11 篇 jeuring johan
  • 11 篇 sabel david
  • 11 篇 hofmann martin
  • 11 篇 vinoski steve
  • 10 篇 schmidt-schauss ...
  • 10 篇 runciman colin
  • 10 篇 hammond kevin
  • 9 篇 lescanne pierre
  • 9 篇 viera marcos
  • 9 篇 hanus michael
  • 9 篇 hudak paul
  • 8 篇 orchard dominic
  • 8 篇 henriksen troels
  • 8 篇 wu nicolas

语言

  • 3,632 篇 英文
  • 141 篇 其他
  • 7 篇 中文
  • 2 篇 西班牙文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 俄文
检索条件"主题词=Functional Programming"
3785 条 记 录,以下是31-40 订阅
排序:
functional BIP: Embedding connectors in functional programming languages
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN programming 2017年 92卷 19-44页
作者: Edelmann, Romain Bliudze, Simon Sifakis, Joseph Ecole Polytech Fed Lausanne Stn 14 CH-1015 Lausanne Switzerland Univ Grenoble Alpes Verimag 700 Ave Cent F-38401 St Martin Dheres France
This paper presents a theoretical foundation for functional language implementations of Behaviour -Interaction -Priority (BIP). We introduce a set of connector combinators describing synchronisation, data transfer, pr... 详细信息
来源: 评论
THE PROMISES OF TYPED, PURE, AND LAZY functional programming: PART II
收藏 引用
COMPUTING IN SCIENCE & ENGINEERING 2009年 第5期11卷 68-75页
作者: Laeufer, Konstantin Thiruvathukal, George K. Loyola Univ Chicago IL 60611 USA
This second installment picks up where Konrad Hinsen's article "The Promises of functional programming" from the July/August 2009 issue left off, covering static type inference and lazy evaluation in fun... 详细信息
来源: 评论
functional programming and parallel processing  2nd
Functional programming and parallel processing
收藏 引用
2nd International Conference on Vector and Parallel Processing - Systems and Applications, VECPAR 1996
作者: Lins, Rafael Dueire Departamento de Informática Universidade Federal de Pernambuco RecifePE Brazil
functional languages belong to a neat and very high-level programming paradigm. A functional program is a set of function definitions. The λ-Calculus, a theory of functions under recursion, offers a solid theoretic b... 详细信息
来源: 评论
PARA-functional programming
收藏 引用
COMPUTER 1986年 第8期19卷 60-70页
作者: HUDAK, P Yale University
This methodology treats a multiprocessor as a single autonomous computer onto which a program is mapped, rather than as a group of independent processors. Copyright © 1986 by The Institute of Electrical and Elect... 详细信息
来源: 评论
functional programming Applied To Computational Algebra
Functional Programming Applied To Computational Algebra
收藏 引用
作者: Ian Holm Kessler Colorado State University
学位级别:硕士
Underlying many, if not all, areas of mathematics is category theory, an alternative to set theory as a foundation that formalizes mathematical structures and relations between them. These relations abstract the idea ... 详细信息
来源: 评论
AI and the Origins of the functional programming Language Style
收藏 引用
MINDS AND MACHINES 2017年 第3期27卷 449-472页
作者: Priestley, Mark 3 Thurlestone Rd London SE27 0PE England
The Lisp programming language is often described as the first functional programming language and also as an important early AI language. In the history of functional programming, however, it occupies a rather anomalo... 详细信息
来源: 评论
Bisimilarity as a theory of functional programming
收藏 引用
THEORETICAL COMPUTER SCIENCE 1999年 第1-2期228卷 5-47页
作者: Gordon, AD Microsoft Res Cambridge CB2 3NH England
Morris-style contextual equivalence - invariance of termination under any context of ground type - is the usual notion of operational equivalence for deterministic functional languages such as PCF. Contextual equivale... 详细信息
来源: 评论
Flipping and Blending-An Action Research Project on Improving a functional programming Course
收藏 引用
ACM TRANSACTIONS ON COMPUTING EDUCATION 2017年 第1期17卷 1–35页
作者: Isomottonen, Ville Tirronen, Ville Univ Jyvaskyla Jyvaskyla Finland
This article reports on an action research project on improving a functional programming course by moving toward a practical and flexible study environment-flipped and blended classroom. Teaching the topic of function... 详细信息
来源: 评论
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
收藏 引用
JOURNAL OF functional programming 2013年 第6期23卷 658-700页
作者: Lakin, Matthew R. Pitts, Andrew M. Univ Cambridge Comp Lab Cambridge CB3 0FD England
Correct handling of names and binders is an important issue in meta-programming. This paper presents an embedding of constraint logic programming into the alpha ML functional programming language, which provides a pro... 详细信息
来源: 评论
Customizing a functional programming language for web development
收藏 引用
COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2010年 第4期36卷 345-351页
作者: Malkov, Sasa N. Univ Belgrade Fac Math Belgrade 11000 Serbia
The characteristics of functional programming languages recommend them for web development. We checked that in practice, by customizing the functional programming language Wall for web development. Customizations incl... 详细信息
来源: 评论