会员服务
程序员可以指在程序设计与互联网某个专业领域中的专业人士或是从事软件撰写，程序开发、维护的专业人员。
Novice programmers strategies for online resource use and their impact on source code
Arxiv
0+阅读 · 2023年4月20日
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Arxiv
0+阅读 · 2023年4月17日
GitHub Copilot AI pair programmer: Asset or Liability?
Arxiv
0+阅读 · 2023年4月14日
Structural Subtyping as Parametric Polymorphism
Arxiv
0+阅读 · 2023年4月17日
Kind Inference for the FreeST Programming Language
Arxiv
1+阅读 · 2023年4月13日
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models
Arxiv
0+阅读 · 2023年4月13日
LeafAI: query generator for clinical cohort discovery rivaling a human programmer
Arxiv
0+阅读 · 2023年4月13日
Dependently Typing R Vectors, Arrays, and Matrices
Arxiv
0+阅读 · 2023年4月9日
参考链接
微信扫码咨询专知VIP会员
Top