咨询与建议

限定检索结果

文献类型

  • 445 篇 会议
  • 42 篇 期刊文献

馆藏范围

  • 487 篇 电子文献
  • 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

语言

  • 483 篇 英文
  • 2 篇 其他
  • 2 篇 中文
检索条件"任意字段=Proceedings of the 2003 ACM SIGPLAN International Conference on Functional Programming"
487 条 记 录,以下是1-10 订阅
排序:
A functional Reactive programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers  38
A Functional Reactive Programming Language for Wirelessly Co...
收藏 引用
38th international conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)
作者: Izawa, Yusuke Kadomoto, Junichiro Irie, Hidetsugu Sakai, Shuichi IBM Res Tokyo Japan Univ Tokyo Tokyo Japan
This work presents the concept of MorphLang, a functional reactive programming language tailored for shape-changeable computers, which are built using wirelessly interconnected chiplets. MorphLang simplifies the progr... 详细信息
来源: 评论
Design and Implementation of Facets of Dynamic Policies  38
Design and Implementation of Facets of Dynamic Policies
收藏 引用
38th international conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH)
作者: Zegarelli, Antonio IMDEA Software Inst Madrid Spain
Information Flow Control (IFC) in dynamic contexts is challenging due to different interpretations of security that arise. This paper introduces a modular framework to address this challenge. We present a dynamic floa... 详细信息
来源: 评论
Towards a DevOps Modeling Based on Context-Oriented programming  8
Towards a DevOps Modeling Based on Context-Oriented Programm...
收藏 引用
8th international conference on the Art, Science, and Engineering of programming (programming)
作者: Watanabe, Harumi Ogura, Nobuhiko Hisazumi, Kenji Tokai Univ Tokyo Japan Tokyo City Univ Yokohama Japan Sibaura Inst Technol Saitama Japan
This article contributes to the initial step of applying Context-Oriented programming to DevOps. In DevOps, we must maintain continuously. One of the critical problems in maintenance is caused by cross-cutting concern... 详细信息
来源: 评论
Implementation and Evaluation of an Interpreter for functional Reactive programming on Small Embedded Devices  23
Implementation and Evaluation of an Interpreter for Function...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Suzuki, Go Watanabe, Takuo Moriguchi, Sosuke Tokyo Inst Technol Tokyo Japan
This paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping... 详细信息
来源: 评论
Erlang 2024 - proceedings of the 23rd acm sigplan international Workshop on Erlang, Co-located with: ICFP 2024
Erlang 2024 - Proceedings of the 23rd ACM SIGPLAN Internatio...
收藏 引用
23rd acm sigplan international Workshop on Erlang, Erlang 2024, co-located with the annual international conference on functional programming, ICFP 2024
The proceedings contain 10 papers. The topics discussed include: same same but different: a comparative analysis of static type checkers in Erlang;nominal types for Erlang;Erlang on TOAST: generating erlang stubs with...
来源: 评论
Erlang 2023 - proceedings of the 22nd acm sigplan international Workshop on Erlang, Co-located with ICFP 2023
Erlang 2023 - Proceedings of the 22nd ACM SIGPLAN Internatio...
收藏 引用
22nd acm sigplan Erlang Workshop, Erlang 2023, co-located with the Annual international conference on functional programming, ICFP 2023
The proceedings contain 4 papers. The topics discussed include: TLS the Erlang/OTP way (experience report);generation and refinement of testing models;Mria: an eventually consistent Mnesia;and a semantics of core erla...
来源: 评论
TyDe 2023 - proceedings of the 8th acm sigplan international Workshop on Type-Driven Development, Co-located with ICFP 2023
TyDe 2023 - Proceedings of the 8th ACM SIGPLAN International...
收藏 引用
8th acm sigplan international Workshop on Type-Driven Development, TyDe 2023, co-located with the international conference on functional programming, ICFP 2023
The proceedings contain 5 papers. The topics discussed include: a calculus of inductive linear constructions;semantic encapsulation using linking types;infix-extensible record types for tabular data;a dependently type...
来源: 评论
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations  26
Termination of Recursive Functions by Lexicographic Orders o...
收藏 引用
acm sigplan international conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH Companion)
作者: Giles, Raphael Douglas UNSW Sydney Sydney NSW Australia
This paper presents an improvement to Isabelle/HOL's lexicographic termination algorithm. This paper also shows how to encode positive vector-component maximisation as a linear program.
来源: 评论
ShakeFlow: functional Hardware Description with Latency-Insensitive Interface Combinators  2023
ShakeFlow: Functional Hardware Description with Latency-Inse...
收藏 引用
28th acm international conference on Architectural Support for programming Languages and Operating Systems (ASPLOS)
作者: Han, Sungsoo Jang, Minseong Kang, Jeehoon Korea Adv Inst Sci & Technol Daejeon South Korea
functional programming's benefits for hardware description have long been recognized in the literature. In particular, functional hardware description languages provide combinators such as maps and filters to faci... 详细信息
来源: 评论
Symbolic Quantum programming for Supporting Applications of Quantum Computing Technologies  23
Symbolic Quantum Programming for Supporting Applications of ...
收藏 引用
7th international conference on the Art, Science, and Engineering of programming (programming)
作者: Miszczak, Jaroslaw Adam Polish Acad Sci Inst Theoret & Appl Informat Gliwice Poland
The goal of this paper is to deliver the overview of the current state of the art, provide experience report on developing quantum software tools, and outline the perspective for developing quantum programming tools s... 详细信息
来源: 评论