成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
TypeScript
关注
42
TypeScript is a language for application-scale JavaScript development.TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.
http://www.
typescriptlang.org/
综合
百科
VIP
热门
动态
论文
精华
Multi-SWE-bench: A Multilingual Benchmark for Issue Resolving
Arxiv
0+阅读 · 4月3日
Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
Arxiv
1+阅读 · 2024年12月17日
Efficient, Portable, Census-Polymorphic Choreographic Programming
Arxiv
0+阅读 · 2024年12月3日
A Type System for Data Flow and Alias Analysis in ReScript
Arxiv
0+阅读 · 2024年10月31日
A type system for data flow and alias analysis in ReScript
Arxiv
0+阅读 · 2024年8月21日
Activation Steering for Robust Type Prediction in CodeLLMs
Arxiv
0+阅读 · 2024年4月2日
Three Quantum Programming Language Parser Implementations for the Web
Arxiv
0+阅读 · 2023年10月16日
Interactive, Iterative, Tooled, Rule-Based Migration of Microsoft Access to Web Technologies
Arxiv
0+阅读 · 2023年9月7日
Using the TypeScript compiler to fix erroneous Node.js snippets
Arxiv
0+阅读 · 2023年8月23日
Do Machine Learning Models Produce TypeScript Types That Type Check?
Arxiv
0+阅读 · 2023年7月11日
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Arxiv
0+阅读 · 2023年6月15日
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Arxiv
0+阅读 · 2023年5月25日
TypeScript's Evolution: An Analysis of Feature Adoption Over Time
Arxiv
0+阅读 · 2023年3月17日
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Arxiv
1+阅读 · 2023年2月23日
Do Machine Learning Models Produce TypeScript Types that Type Check?
Arxiv
0+阅读 · 2023年2月23日
参考链接
父主题
前端开发
JavaScript 框架
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top