咨询与建议

限定检索结果

文献类型

  • 445 篇 会议
  • 42 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 381 篇 工学
    • 370 篇 软件工程
    • 244 篇 计算机科学与技术...
    • 19 篇 控制科学与工程
    • 14 篇 电气工程
    • 8 篇 信息与通信工程
    • 4 篇 建筑学
    • 3 篇 电子科学与技术(可...
    • 3 篇 农业工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 土木工程
    • 1 篇 光学工程
    • 1 篇 化学工程与技术
    • 1 篇 石油与天然气工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 68 篇 理学
    • 64 篇 数学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 系统科学
  • 30 篇 管理学
    • 27 篇 图书情报与档案管...
    • 7 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 81 篇 functional progr...
  • 54 篇 computer program...
  • 39 篇 languages
  • 33 篇 computer program...
  • 24 篇 design
  • 22 篇 haskell
  • 17 篇 object oriented ...
  • 17 篇 logic programmin...
  • 16 篇 dependent types
  • 15 篇 computer systems...
  • 13 篇 programming theo...
  • 13 篇 functional react...
  • 12 篇 generic programm...
  • 12 篇 theory
  • 11 篇 performance
  • 10 篇 domain-specific ...
  • 10 篇 programming lang...
  • 7 篇 ml
  • 7 篇 type theory
  • 7 篇 algorithms

机构

  • 4 篇 northeastern uni...
  • 4 篇 chalmers univ of...
  • 4 篇 portland state u...
  • 4 篇 chalmers univ te...
  • 4 篇 microsoft res ca...
  • 3 篇 inria
  • 3 篇 univ edinburgh e...
  • 3 篇 carnegie mellon ...
  • 3 篇 inria rocquencou...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...
  • 3 篇 microsoft resear...
  • 3 篇 univ penn philad...
  • 3 篇 univ of pennsylv...
  • 3 篇 yale univ dept c...
  • 2 篇 microsoft resear...
  • 2 篇 univ of amsterda...
  • 2 篇 ecole polytech f...
  • 2 篇 tohoku univ send...
  • 2 篇 indiana univ blo...

作者

  • 6 篇 weirich stephani...
  • 5 篇 danvy olivier
  • 5 篇 hanus michael
  • 4 篇 kiselyov oleg
  • 4 篇 antoy sergio
  • 4 篇 chlipala adam
  • 4 篇 felleisen matthi...
  • 4 篇 keller gabriele
  • 4 篇 peyton jones sim...
  • 4 篇 gibbons jeremy
  • 4 篇 morrisett greg
  • 4 篇 findler robert b...
  • 4 篇 walker david
  • 4 篇 krishnaswami nee...
  • 3 篇 flatt matthew
  • 3 篇 mairson harry g.
  • 3 篇 bjerkestrand and...
  • 3 篇 xi hw
  • 3 篇 mcbride conor
  • 3 篇 ohori atsushi

语言

  • 485 篇 英文
  • 2 篇 其他
  • 2 篇 中文
检索条件"任意字段=Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming"
489 条 记 录,以下是1-10 订阅
排序:
proceedings of the acm sigplan international conference on functional programming, ICFP: Foreword
Proceedings of the ACM SIGPLAN International Conference on F...
收藏 引用
Eighth acm sigplan international conference on functional programming
作者: Shivers, Olin
No abstract available
来源: 评论
proceedings of the acm sigplan international conference on functional programming, ICFP: Foreword
Proceedings of the ACM SIGPLAN International Conference on F...
收藏 引用
proceedings of the Ninthacm sigplan international conference on functional programming, ICFP'04
作者: Fisher, Kathleen
No abstract available
来源: 评论
proceedings of the Eighth acm sigplan international conference on functional programming
Proceedings of the Eighth ACM SIGPLAN International Conferen...
收藏 引用
proceedings of the 2003 acm sigplan international conference on functional programming
This Volume 38 Number 9 of the conference proceedings contains 27 papers. Topics discussed include functional computing, reversible and quantum computing, inference processes, marshalling, XML languages, iterative fre... 详细信息
来源: 评论
proceedings of the acm sigplan international conference on functional programming, ICFP
Proceedings of the ACM SIGPLAN International Conference on F...
收藏 引用
Eighth acm sigplan international conference on functional programming
The proceedings contains 23 papers from the acm sigplan international conference on functional programming, ICFP. Topics discussed include: scripting the type inference process;discriminative sum types locate the sour... 详细信息
来源: 评论
proceedings of the 1996 acm sigplan international conference on functional programming, ICFP'96
Proceedings of the 1996 ACM SIGPLAN International Conference...
收藏 引用
proceedings of the 1996 acm sigplan international conference on functional programming, ICFP'96
The proceedings contains 25 papers from the 1996 international conference on functional programming of the Assn. for Computing Machinery (acm) Special Interest Group on programming Languages (sigplan). Topics discusse... 详细信息
来源: 评论
proceedings of the Seventh acm sigplan international conference on functional programming
Proceedings of the Seventh ACM SIGPLAN International Confere...
收藏 引用
proceedings of the Seventh acm sigplan;international conference on functional programming (ICFP'02)
The proceedings contains 27 papers. Topics discussed include functional programming languages, packrat parsing, interoperable calculus, modular typechecking, functional formal methods, interactive visual functional pr... 详细信息
来源: 评论
proceedings of the Ninth acm sigplan international conference on functional programming, ICFP'04
Proceedings of the Ninth ACM SIGPLAN International Conferenc...
收藏 引用
proceedings of the Ninthacm sigplan international conference on functional programming, ICFP'04
The proceedings contain 24 papers from the proceedings of the Ninth acm sigplan international conference on functional programming, ICFP'04. The topics discussed include: improving the static analysis of embedded ... 详细信息
来源: 评论
proceedings of the Sixth acm sigplan international conference on functional programming (ICFP'01)
Proceedings of the Sixth ACM SIGPLAN International Conferenc...
收藏 引用
6th acm sigplan Internatinal conference on functional programming (ICFP'01)
The proceedings contains 23 papers. Topics discussed include functional programming, pattern matching, priority search queues. Hardware discription languages, algorithmic debugging, functional array fusion and algebra... 详细信息
来源: 评论
proceedings of the 1997 acm sigplan international conference on functional programming, ICFP
Proceedings of the 1997 ACM SIGPLAN International Conference...
收藏 引用
proceedings of the 1997 acm sigplan international conference on functional programming, ICFP
The proceedings contains 26 papers from the 1997 acm sigplan international conference on functional programming. Topics discussed include: closure analysis;typed flow-directed representation transformations;type-drive... 详细信息
来源: 评论
proceedings of the 2009 acm sigplan Workshop on Generic programming, WGP'09, Co-located with the international conference on functional programming, ICFP 2009
Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Prog...
收藏 引用
2009 acm sigplan Workshop on Generic programming, WGP'09, Co-located with the international conference on functional programming, ICFP 2009
The proceedings contain 8 papers. The topics discussed include: polytypic properties and proofs in Coq;adaptable component frameworks: using vector from the C++ - standard library as an example;the function concept in...
来源: 评论