咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 623 篇 会议
  • 71 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 554 篇 工学
    • 485 篇 软件工程
    • 394 篇 计算机科学与技术...
    • 31 篇 电气工程
    • 31 篇 控制科学与工程
    • 23 篇 信息与通信工程
    • 10 篇 建筑学
    • 10 篇 生物工程
    • 6 篇 土木工程
    • 5 篇 力学（可授工学、理...
    • 5 篇 电子科学与技术（可...
    • 4 篇 化学工程与技术
    • 3 篇 光学工程
    • 3 篇 材料科学与工程（可...
    • 3 篇 动力工程及工程热...
    • 3 篇 石油与天然气工程
    • 2 篇 机械工程
    • 2 篇 农业工程
  • 71 篇 理学
    • 50 篇 数学
    • 13 篇 生物学
    • 6 篇 物理学
    • 5 篇 统计学（可授理学、...
    • 4 篇 化学
    • 4 篇 系统科学
  • 30 篇 教育学
    • 29 篇 教育学
  • 23 篇 管理学
    • 14 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 9 篇 法学
    • 8 篇 社会学
  • 3 篇 农学
    • 3 篇 作物学
  • 3 篇 医学
  • 2 篇 经济学
    • 2 篇 应用经济学

主题

  • 92 篇 functional progr...
  • 77 篇 languages
  • 62 篇 computer program...
  • 54 篇 design
  • 34 篇 haskell
  • 25 篇 programming
  • 22 篇 performance
  • 22 篇 computer program...
  • 19 篇 logic programmin...
  • 19 篇 dependent types
  • 19 篇 theory
  • 18 篇 dynamic programm...
  • 15 篇 functional react...
  • 15 篇 generic programm...
  • 14 篇 object oriented ...
  • 14 篇 algorithms
  • 14 篇 programming lang...
  • 12 篇 verification
  • 11 篇 domain-specific ...
  • 11 篇 continuations

机构

  • 7 篇 portland state u...
  • 6 篇 northeastern uni...
  • 6 篇 chalmers univ te...
  • 4 篇 inria
  • 4 篇 carnegie mellon ...
  • 4 篇 univ penn philad...
  • 4 篇 microsoft res ca...
  • 3 篇 georgia inst tec...
  • 3 篇 indiana univ blo...
  • 3 篇 princeton univ p...
  • 3 篇 univ edinburgh e...
  • 3 篇 univ strathclyde...
  • 3 篇 univ new s wales...
  • 3 篇 carnegie mellon ...
  • 3 篇 univ cambridge c...
  • 3 篇 univ utah salt l...
  • 3 篇 yale univ dept c...
  • 3 篇 univ washington ...
  • 3 篇 brown univ provi...
  • 2 篇 intel res berkel...

作者

  • 5 篇 claessen koen
  • 5 篇 jones mark p.
  • 5 篇 krishnaswami nee...
  • 4 篇 flatt matthew
  • 4 篇 xi hw
  • 4 篇 mcbride conor
  • 4 篇 vafeiadis viktor
  • 4 篇 weirich stephani...
  • 4 篇 jeuring johan
  • 4 篇 chlipala adam
  • 4 篇 keller gabriele
  • 4 篇 findler robert b...
  • 4 篇 walker david
  • 3 篇 leshchinskiy rom...
  • 3 篇 schmidt-schauss ...
  • 3 篇 pottier francois
  • 3 篇 walker d
  • 3 篇 runciman colin
  • 3 篇 hinze ralf
  • 3 篇 sheeran mary

语言

  • 636 篇 英文
  • 59 篇 其他
  • 4 篇 中文
  • 1 篇 德文
检索条件"任意字段=13th ACM SIGPLAN International Conference on Functional Programming"
共 699 条 记 录，以下是701-710 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共70页 <<  < 61 62 63 64 65 66 67 68 69 70 >  >>
回到顶部
执行限定条件