咨询与建议

限定检索结果

文献类型

  • 2,760 篇 会议
  • 970 篇 期刊文献
  • 44 篇 学位论文
  • 12 册 图书
  • 1 篇 科技报告

馆藏范围

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

日期分布

学科分类号

  • 2,278 篇 工学
    • 1,868 篇 计算机科学与技术...
    • 1,481 篇 软件工程
    • 303 篇 电气工程
    • 95 篇 控制科学与工程
    • 67 篇 信息与通信工程
    • 38 篇 电子科学与技术(可...
    • 25 篇 机械工程
    • 18 篇 力学(可授工学、理...
    • 17 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 10 篇 建筑学
    • 10 篇 农业工程
  • 383 篇 理学
    • 310 篇 数学
    • 42 篇 物理学
    • 30 篇 生物学
    • 17 篇 化学
    • 16 篇 系统科学
  • 121 篇 管理学
    • 77 篇 管理科学与工程(可...
    • 46 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 44 篇 教育学
    • 41 篇 教育学
  • 20 篇 文学
    • 15 篇 新闻传播学
  • 18 篇 法学
    • 15 篇 社会学
  • 18 篇 医学
    • 11 篇 基础医学(可授医学...
    • 10 篇 临床医学
  • 14 篇 艺术学
    • 11 篇 音乐与舞蹈学
  • 11 篇 农学
    • 10 篇 作物学
  • 5 篇 经济学
  • 4 篇 哲学
  • 1 篇 历史学
  • 1 篇 军事学

主题

  • 3,787 篇 functional progr...
  • 257 篇 computer science
  • 228 篇 computer languag...
  • 225 篇 programming prof...
  • 201 篇 application soft...
  • 190 篇 logic programmin...
  • 135 篇 parallel program...
  • 134 篇 linear programmi...
  • 131 篇 computer archite...
  • 128 篇 hardware
  • 118 篇 testing
  • 116 篇 concurrent compu...
  • 109 篇 computational mo...
  • 109 篇 control systems
  • 106 篇 parallel process...
  • 105 篇 genetic programm...
  • 99 篇 java
  • 96 篇 mathematical pro...
  • 95 篇 object oriented ...
  • 92 篇 constraint optim...

机构

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

作者

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

语言

  • 3,634 篇 英文
  • 141 篇 其他
  • 7 篇 中文
  • 2 篇 西班牙文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 俄文
检索条件"主题词=FUNCTIONAL PROGRAMMING"
3787 条 记 录,以下是51-60 订阅
排序:
On Representation of Simulation Time in functional programming Style
收藏 引用
programming AND COMPUTER SOFTWARE 2019年 第8期45卷 485-496页
作者: Buzdalov, D., V Petrenko, A. K. Khoroshilov, A., V Russian Acad Sci Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Moscow Inst Phys & Technol Inst Skii Per 9 Dolgoprudnyi 141700 Russia Moscow MV Lomonosov State Univ Moscow 119991 Russia Natl Res Univ Higher Sch Econ Ul Myasnitskaya 20 Moscow 101000 Russia
functional programming is becoming increasingly useful in the modern computerized world. This approach helps create code that is more reliable, easier to reason about, and automatically verifiable. However, these tech... 详细信息
来源: 评论
PROMIDS - A PROTOTYPE MULTI-RLNG DATA FLOW SYSTEM FOR functional programming-LANGUAGES
MICROPROCESSING AND MICROPROGRAMMING
收藏 引用
MICROPROCESSING AND MICROprogramming 1989年 第3期26卷 161-173页
作者: GOVINDARAJAN, R KUMAR, R KUMAR, D PATNAIK, LM INDIAN INST SCI DEPT COMP SCI & AUTOMATMICROPROC APPLICAT LABBANGALORE 560012KARNATAKAINDIA
This paper presents a detailed description of the hardware design and implementation of PROMIDS: a PRO totype M ulti-r I ng D ata flow System for functional programming languages. The hardware constraints and the desi... 详细信息
来源: 评论
Computation by interaction for space-bounded functional programming
收藏 引用
INFORMATION AND COMPUTATION 2016年 248卷 150-194页
作者: Dal Lago, Ugo Schoepp, Ulrich Univ Bologna I-40126 Bologna Italy INRIA Sophia Antipolis Nice France Univ Munich Marchioninistr 15 D-81377 Munich Germany
When programming with sublinear space constraints one often needs to use special implementation techniques even for simple tasks, such as function composition. In this paper, we study how such implementation technique... 详细信息
来源: 评论
YACC IN SASL - AN EXERCISE IN functional programming
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1985年 第8期15卷 807-820页
作者: JONES, SLP Department of Computer Science University College London London WC1E 6BT U.K.
Among the advantages claimed for a purely functional programming style is ease of designing and implementing large programs. However, little experience of actually doing so has been gained so far. The experience of wr... 详细信息
来源: 评论
VERY FAST REDUCTION MACHINE FOR functional programming WITHOUT VARIABLES
收藏 引用
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES 1989年 第5期136卷 443-449页
作者: BELLOT, P Paris Scientific Centre Paris France
The paper presents a new programming language and its reduction machine. The name of the language is Graal and it is based on the unusual concepts of functional form issued from FP systems and uncurryfied combinator f... 详细信息
来源: 评论
Commercial users of functional programming workshop report
收藏 引用
JOURNAL OF functional programming 2013年 第6期23卷 701-712页
作者: Sperber, Michael Madhavapeddy, Anil Active Grp GmbH D-70794 Filderstadt Germany Univ Cambridge Comp Lab Cambridge CB3 OFD England
Commercial Users of functional programming (CUFP) is an annual workshop that is aimed at the community of software developers who use functional programming in real-world settings. This scribe report covers the talks ... 详细信息
来源: 评论
Finding celebrities: A lesson in functional programming
收藏 引用
JOURNAL OF functional programming 2006年 第1期16卷 13-20页
作者: Bird, R Curtis, S Univ Oxford Comp Lab Oxford OX1 3QD England Oxford Brookes Univ Dept Comp Oxford OX33 1HX England
来源: 评论
2DT-FP: A parallel functional programming language on two-dimensional data
收藏 引用
INTERNATIONAL JOURNAL OF PARALLEL programming 1995年 第5期23卷 389-422页
作者: BenAsher, Y Runger, G Schuster, A Wilhelm, R UNIV SAARLAND FB INFORMAT 14D-66041 SAARBRUCKENGERMANY TECHNION ISRAEL INST TECHNOL DEPT COMP SCIIL-32000 HAIFAISRAEL
We propose a new paradigm fdr programming multiprocessor systems, 2DT (two-dimensional transformations). 2DT programs are composed of local computations on linear data (columns) and global transformations on 2-dimensi... 详细信息
来源: 评论
Integrating functional programming and symbolic computation
收藏 引用
MATHEMATICS AND COMPUTERS IN SIMULATION 1996年 第4-6期42卷 467-473页
作者: Garcia, JJR Departamento de Informática e Ingeniería de Sistemas Facultad de Ciencias Universidad de Zaragoza 50009 Zaragoza Spain
functional programming and symbolic computation provide software for explicit calculations in algebraic topology. We present here one such application to the design of algorithms for computations in the homology of a ... 详细信息
来源: 评论
CoCaml: functional programming with Regular Coinductive Types
收藏 引用
FUNDAMENTA INFORMATICAE 2017年 第3-4期150卷 347-377页
作者: Jeannin, Jean-Baptiste Kozen, Dexter Silva, Alexandra Samsung Res Amer Ames IA USA Cornell Univ Dept Comp Sci Ithaca NY 14853 USA UCL Dept Comp Sci London WC1E 6BT England
functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and a... 详细信息
来源: 评论